/export/starexec/sandbox/solver/bin/starexec_run_certified /export/starexec/sandbox/benchmark/theBenchmark.xml /export/starexec/sandbox/output/output_files -------------------------------------------------------------------------------- YES 011233x1011323x144203123x142403123x145014253x145023415x1010250530x1035500210x1110233225x1113232025x1234122214x1232412214x1553114120x1553111420x11034511340x10230001033x11125414351x11443510014x12224411535x13002221020x14153122434x12422153340x14210352444x14010313005x100354503502x100354055302x101204243305x10105221504x101304251353x13431405242x104431431200x12123113332x105005204040x105005240040x105351405324x12320235554x110410241114x15522342435x110532420240x10111040125x111541040013x14202413215x112351432502x14005220215x113500111401x10450505130x114055510321x13201524211x114250421235x12453045005x114405042132x13314551452x115555342512x14104524303x120013410245x13440043215x120412420355x11220330414x120503331331x15205053553x122310135231x15334110012x123530345212x15551235304x123545155351x15320531554x124301201424x10545232103x125511030544x125511305044x125544444514x14405354223x130150041045x13013200403x133012041511x14103324031x133032014224x15133230550x134243041252x132443041252x135121024502x11305201555x140101430010x14442023053x141430352534x15241430244x141432254531x15324324230x143514155420x15443221003x150235312213x14551014250x150445534112x11145340243x153114015512x15544132433x154203435412x15225102222x155010041224x11514440120x155210051512x11510053030x155253231400x14043031042x1023331304232x11531544144x1112220405221x14105335454x1121212511431x1121151423121x1131543153245x1131543152345x1131551140130x14014133032x1302550304400x12041534421x1305202220251x15444503211x1342003420020x1300432004220x1344003403020x15411431515x1345202030545x11542434332x1502011540311x10423434434x1515021230253x14421430342x10224032525231x10224035225231x14332032551430x14332302551430x125120112035053x125120110235053x145544254402313x145544254042313x1231412312123332x1231412312213332x120311110224442033x120311110224440233x131052140451130350x131052140451310350x142222215343113312x142222215334113312x1341001120014444153x1340011120014444153x1550134224252231251x1550134222452231251x10252441144412143443x10252441144412413443x10340421320515212200x10340421320551212200x140254550340554404503x140254550430554404503x141305110004354530533x141305110004345530533x1104115155050000400324x1104151155050000400324x1404314544424452000413x1404315444424452000413x11443105125214204530014x11443105125214205430014x12531154552313522104113x12531154552313521204113x15105403011512312420234x15105403011521312420234x123452435235421453212550x123452435235421453221550x1150502021541011133014535233x1150502021541011313014535233x1450104240401452435011333222x1450104240401452435013133222x11040131325411505142141114412x11004131325411505142141114412x14241134203031504121205545044x14241134203031504121205455044x133201245212130344104225250403x133201245212130344104252250403x1403020004334020013230422244505x1403020004334020013230242244505x1455442013550040411004453551403x1455424013550040411004453551403x12.1332110x1323110x132130244x132130424x135241054x151432054x1035052010x1012005530x1522332011x1520232311x1412221432x1412214232x1021411355x1024111355x10431154301x13301000320x11534145211x14100153441x15351144222x10201222003x14342213514x10433512242x14442530124x15003130104x120530545300x120355045300x150334240210x14051225010x135315240310x12425041343x100213413440x12333113212x104040250050x104004250050x142350415350x14555320232x141114201401x15342432255x104202423501x15210401110x131004014511x15123142024x120523415321x15120225004x110411100531x10315050540x112301555041x11124251023x153212405241x15005403542x123124050441x12541554133x121524355551x13034254014x154201431002x15123400443x155302421402x14140330221x113313330502x13553505025x113253101322x12100114335x121254303532x14035321555x115355154532x14551350235x142410210342x13012325450x144503011552x144050311552x141544444552x13224535044x154014005103x13040023103x111514021033x11304233014x142241023033x10550323315x125214034243x125214034423x120542012153x15551025031x101003410104x13503202444x143525303414x14420341425x113545223414x10324234235x102455141534x13001223445x131221353205x10524101554x121143554405x13420435411x121551041135x13342314455x121453430245x12222015225x142214001055x10210444151x121515001255x10303500151x100413235255x12401303404x1232403133320x14414451351x1122504022211x14545335014x1134115212121x1121324151121x1542351345131x1543251345131x1031041155131x12303314104x1004403055203x11244351402x1152022202503x11123054445x1020024300243x1022400234003x1020304300443x15151341145x1545030202543x12334342451x1113045110205x14344343240x1352032120515x12430341244x11325252304220x11325225304220x10341552302334x10341552032334x135053021102152x135053201102152x131320445244554x131324045244554x1233321213214132x1233312213214132x133024442201111302x133204442201111302x105303115404125013x105301315404125013x121331134351222224x121331143351222224x1351444410021100143x1351444410021110043x1152132252422431055x1152132254222431055x13443412144411442520x13443142144411442520x10022125150231240430x10022121550231240430x130540445504305545204x130540445503405545204x133503545340001150314x133503554340001150314x1423004000050551511401x1423004000050551151401x1314000254424445413404x1314000254424444513404x14100354024125215013441x14100345024125215013441x13114012253132554511352x13114021253132554511352x14320242132151103045015x14320242131251103045015x105521235412453253425432x105512235412453253425432x1332535410331110145120205051x1332535410313110145120205051x1222333110534254104042401054x1222331310534254104042401054x12144111412415051145231310401x12144111412415051145231314001x14405455021214051303024311424x14405545021214051303024311424x130405252240144303121254210233x130405225240144303121254210233x1505442224032310020433400020304x1505442242032310020433400020304x1304155354400114040055310244554x1304155354400114040055310424554x11311162111711116011154111751115332110x1323110x132130244x132130424x135241054x151432054x1035052010x1012005530x1522332011x1520232311x1412221432x1412214232x1021411355x1024111355x120530545300x120355045300x104040250050x104004250050x144503011552x144050311552x125214034243x125214034423x1134115212121x1121324151121x1542351345131x1543251345131x1020024300243x1022400234003x11325252304220x11325225304220x10341552302334x10341552032334x135053021102152x135053201102152x131320445244554x131324045244554x1233321213214132x1233312213214132x133024442201111302x133204442201111302x105303115404125013x105301315404125013x121331134351222224x121331143351222224x1351444410021100143x1351444410021110043x1152132252422431055x1152132254222431055x13443412144411442520x13443142144411442520x10022125150231240430x10022121550231240430x130540445504305545204x130540445503405545204x133503545340001150314x133503554340001150314x1423004000050551511401x1423004000050551151401x1314000254424445413404x1314000254424444513404x14100354024125215013441x14100345024125215013441x13114012253132554511352x13114021253132554511352x14320242132151103045015x14320242131251103045015x105521235412453253425432x105512235412453253425432x1332535410331110145120205051x1332535410313110145120205051x1222333110534254104042401054x1222331310534254104042401054x12144111412415051145231310401x12144111412415051145231314001x14405455021214051303024311424x14405545021214051303024311424x130405252240144303121254210233x130405225240144303121254210233x1505442224032310020433400020304x1505442242032310020433400020304x1304155354400114040055310244554x1304155354400114040055310424554x1332110x1323110x1332110x123110x1332110x13110x132130244x132130424x132130244x12130424x132130244x1130424x132130244x130424x132130244x10424x132130244x1424x132130244x124x135241054x151432054x135241054x11432054x135241054x1432054x135241054x132054x135241054x12054x1035052010x1012005530x1035052010x112005530x1035052010x12005530x1035052010x1005530x1035052010x105530x1035052010x15530x1035052010x1530x1035052010x130x1522332011x1520232311x1522332011x120232311x1522332011x10232311x1522332011x1232311x1522332011x132311x1522332011x12311x1522332011x1311x1412221432x1412214232x1412221432x112214232x1412221432x12214232x1412221432x1214232x1412221432x114232x1412221432x14232x1412221432x1232x1021411355x1024111355x1021411355x124111355x1021411355x14111355x1021411355x1111355x120530545300x120355045300x120530545300x10355045300x120530545300x1355045300x120530545300x155045300x120530545300x15045300x120530545300x1045300x104040250050x104004250050x104040250050x14004250050x104040250050x1004250050x104040250050x104250050x104040250050x14250050x144503011552x144050311552x144503011552x14050311552x144503011552x1050311552x144503011552x150311552x144503011552x10311552x144503011552x1311552x125214034243x125214034423x125214034243x15214034423x125214034243x1214034423x125214034243x114034423x125214034243x14034423x125214034243x1034423x125214034243x134423x125214034243x14423x125214034243x1423x125214034243x123x1134115212121x1121324151121x1134115212121x121324151121x1134115212121x11324151121x1134115212121x1324151121x1134115212121x124151121x1134115212121x14151121x1134115212121x1151121x1134115212121x151121x1134115212121x11121x1542351345131x1543251345131x1542351345131x143251345131x1542351345131x13251345131x1542351345131x1251345131x1020024300243x1022400234003x1020024300243x122400234003x1020024300243x12400234003x1020024300243x1400234003x1020024300243x100234003x1020024300243x10234003x1020024300243x1234003x1020024300243x134003x1020024300243x14003x1020024300243x1003x1020024300243x103x11325252304220x11325225304220x11325252304220x1325225304220x11325252304220x125225304220x11325252304220x15225304220x11325252304220x1225304220x11325252304220x125304220x11325252304220x15304220x10341552302334x10341552032334x10341552302334x1341552032334x10341552302334x141552032334x10341552302334x11552032334x10341552302334x1552032334x10341552302334x152032334x10341552302334x12032334x10341552302334x1032334x10341552302334x132334x135053021102152x135053201102152x135053021102152x15053201102152x135053021102152x1053201102152x135053021102152x153201102152x135053021102152x13201102152x135053021102152x1201102152x135053021102152x101102152x131320445244554x131324045244554x131320445244554x11324045244554x131320445244554x1324045244554x131320445244554x124045244554x131320445244554x14045244554x131320445244554x1045244554x1233321213214132x1233312213214132x1233321213214132x133312213214132x1233321213214132x13312213214132x1233321213214132x1312213214132x1233321213214132x112213214132x1233321213214132x12213214132x133024442201111302x133204442201111302x133024442201111302x13204442201111302x133024442201111302x1204442201111302x133024442201111302x104442201111302x105303115404125013x105301315404125013x105303115404125013x15301315404125013x105303115404125013x1301315404125013x105303115404125013x101315404125013x105303115404125013x11315404125013x105303115404125013x1315404125013x121331134351222224x121331143351222224x121331134351222224x11331143351222224x121331134351222224x1331143351222224x121331134351222224x131143351222224x121331134351222224x11143351222224x121331134351222224x1143351222224x121331134351222224x143351222224x121331134351222224x13351222224x1351444410021100143x1351444410021110043x1351444410021100143x151444410021110043x1351444410021100143x11444410021110043x1351444410021100143x1444410021110043x1351444410021100143x144410021110043x1351444410021100143x14410021110043x1351444410021100143x1410021110043x1351444410021100143x110021110043x1351444410021100143x10021110043x1351444410021100143x1021110043x1351444410021100143x121110043x1351444410021100143x11110043x1351444410021100143x1110043x1351444410021100143x110043x1351444410021100143x10043x1351444410021100143x1043x1152132252422431055x1152132254222431055x1152132252422431055x152132254222431055x1152132252422431055x12132254222431055x1152132252422431055x1132254222431055x1152132252422431055x132254222431055x1152132252422431055x12254222431055x1152132252422431055x1254222431055x1152132252422431055x154222431055x1152132252422431055x14222431055x1152132252422431055x1222431055x13443412144411442520x13443142144411442520x13443412144411442520x1443142144411442520x13443412144411442520x143142144411442520x13443412144411442520x13142144411442520x13443412144411442520x1142144411442520x13443412144411442520x142144411442520x10022125150231240430x10022121550231240430x10022125150231240430x1022121550231240430x10022125150231240430x122121550231240430x10022125150231240430x12121550231240430x10022125150231240430x1121550231240430x10022125150231240430x121550231240430x10022125150231240430x11550231240430x10022125150231240430x1550231240430x130540445504305545204x130540445503405545204x130540445504305545204x10540445503405545204x130540445504305545204x1540445503405545204x130540445504305545204x140445503405545204x130540445504305545204x10445503405545204x130540445504305545204x1445503405545204x130540445504305545204x145503405545204x130540445504305545204x15503405545204x130540445504305545204x1503405545204x130540445504305545204x103405545204x130540445504305545204x13405545204x130540445504305545204x1405545204x133503545340001150314x133503554340001150314x133503545340001150314x13503554340001150314x133503545340001150314x1503554340001150314x133503545340001150314x103554340001150314x133503545340001150314x13554340001150314x133503545340001150314x1554340001150314x133503545340001150314x154340001150314x133503545340001150314x14340001150314x1423004000050551511401x1423004000050551151401x1423004000050551511401x123004000050551151401x1423004000050551511401x13004000050551151401x1423004000050551511401x1004000050551151401x1423004000050551511401x104000050551151401x1423004000050551511401x14000050551151401x1423004000050551511401x1000050551151401x1423004000050551511401x100050551151401x1423004000050551511401x10050551151401x1423004000050551511401x1050551151401x1423004000050551511401x150551151401x1423004000050551511401x10551151401x1423004000050551511401x1551151401x1423004000050551511401x151151401x1423004000050551511401x11151401x1423004000050551511401x1151401x1423004000050551511401x151401x1314000254424445413404x1314000254424444513404x1314000254424445413404x114000254424444513404x1314000254424445413404x14000254424444513404x1314000254424445413404x1000254424444513404x1314000254424445413404x100254424444513404x1314000254424445413404x10254424444513404x1314000254424445413404x1254424444513404x1314000254424445413404x154424444513404x1314000254424445413404x14424444513404x1314000254424445413404x1424444513404x1314000254424445413404x124444513404x1314000254424445413404x14444513404x1314000254424445413404x1444513404x1314000254424445413404x144513404x1314000254424445413404x14513404x1314000254424445413404x1513404x14100354024125215013441x14100345024125215013441x14100354024125215013441x1100345024125215013441x14100354024125215013441x100345024125215013441x14100354024125215013441x10345024125215013441x14100354024125215013441x1345024125215013441x14100354024125215013441x145024125215013441x14100354024125215013441x15024125215013441x13114012253132554511352x13114021253132554511352x13114012253132554511352x1114021253132554511352x13114012253132554511352x114021253132554511352x13114012253132554511352x14021253132554511352x13114012253132554511352x1021253132554511352x13114012253132554511352x121253132554511352x13114012253132554511352x11253132554511352x14320242132151103045015x14320242131251103045015x14320242132151103045015x1320242131251103045015x14320242132151103045015x120242131251103045015x14320242132151103045015x10242131251103045015x14320242132151103045015x1242131251103045015x14320242132151103045015x142131251103045015x14320242132151103045015x12131251103045015x14320242132151103045015x1131251103045015x14320242132151103045015x131251103045015x14320242132151103045015x11251103045015x14320242132151103045015x1251103045015x105521235412453253425432x105512235412453253425432x105521235412453253425432x15512235412453253425432x105521235412453253425432x1512235412453253425432x105521235412453253425432x112235412453253425432x105521235412453253425432x12235412453253425432x1332535410331110145120205051x1332535410313110145120205051x1332535410331110145120205051x132535410313110145120205051x1332535410331110145120205051x12535410313110145120205051x1332535410331110145120205051x1535410313110145120205051x1332535410331110145120205051x135410313110145120205051x1332535410331110145120205051x15410313110145120205051x1332535410331110145120205051x1410313110145120205051x1332535410331110145120205051x110313110145120205051x1332535410331110145120205051x10313110145120205051x1332535410331110145120205051x1313110145120205051x1332535410331110145120205051x113110145120205051x1332535410331110145120205051x13110145120205051x1222333110534254104042401054x1222331310534254104042401054x1222333110534254104042401054x122331310534254104042401054x1222333110534254104042401054x12331310534254104042401054x1222333110534254104042401054x1331310534254104042401054x1222333110534254104042401054x131310534254104042401054x1222333110534254104042401054x11310534254104042401054x1222333110534254104042401054x1310534254104042401054x12144111412415051145231310401x12144111412415051145231314001x12144111412415051145231310401x1144111412415051145231314001x12144111412415051145231310401x144111412415051145231314001x12144111412415051145231310401x14111412415051145231314001x12144111412415051145231310401x1111412415051145231314001x12144111412415051145231310401x111412415051145231314001x12144111412415051145231310401x11412415051145231314001x12144111412415051145231310401x1412415051145231314001x12144111412415051145231310401x112415051145231314001x12144111412415051145231310401x12415051145231314001x12144111412415051145231310401x1415051145231314001x12144111412415051145231310401x115051145231314001x12144111412415051145231310401x15051145231314001x12144111412415051145231310401x1051145231314001x12144111412415051145231310401x151145231314001x12144111412415051145231310401x11145231314001x12144111412415051145231310401x1145231314001x12144111412415051145231310401x145231314001x12144111412415051145231310401x15231314001x12144111412415051145231310401x1231314001x12144111412415051145231310401x131314001x12144111412415051145231310401x11314001x12144111412415051145231310401x1314001x12144111412415051145231310401x114001x12144111412415051145231310401x14001x12144111412415051145231310401x1001x14405455021214051303024311424x14405545021214051303024311424x14405455021214051303024311424x1405545021214051303024311424x14405455021214051303024311424x105545021214051303024311424x14405455021214051303024311424x15545021214051303024311424x14405455021214051303024311424x1545021214051303024311424x14405455021214051303024311424x145021214051303024311424x130405252240144303121254210233x130405225240144303121254210233x130405252240144303121254210233x10405225240144303121254210233x130405252240144303121254210233x1405225240144303121254210233x130405252240144303121254210233x105225240144303121254210233x130405252240144303121254210233x15225240144303121254210233x130405252240144303121254210233x1225240144303121254210233x130405252240144303121254210233x125240144303121254210233x130405252240144303121254210233x15240144303121254210233x1505442224032310020433400020304x1505442242032310020433400020304x1505442224032310020433400020304x105442242032310020433400020304x1505442224032310020433400020304x15442242032310020433400020304x1505442224032310020433400020304x1442242032310020433400020304x1505442224032310020433400020304x142242032310020433400020304x1505442224032310020433400020304x12242032310020433400020304x1505442224032310020433400020304x1242032310020433400020304x1505442224032310020433400020304x142032310020433400020304x1505442224032310020433400020304x12032310020433400020304x1304155354400114040055310244554x1304155354400114040055310424554x1304155354400114040055310244554x104155354400114040055310424554x1304155354400114040055310244554x14155354400114040055310424554x1304155354400114040055310244554x1155354400114040055310424554x1304155354400114040055310244554x155354400114040055310424554x1304155354400114040055310244554x15354400114040055310424554x1304155354400114040055310244554x1354400114040055310424554x1304155354400114040055310244554x154400114040055310424554x1304155354400114040055310244554x14400114040055310424554x1304155354400114040055310244554x1400114040055310424554x1304155354400114040055310244554x100114040055310424554x1304155354400114040055310244554x10114040055310424554x1304155354400114040055310244554x1114040055310424554x1304155354400114040055310244554x114040055310424554x1304155354400114040055310244554x14040055310424554x1304155354400114040055310244554x1040055310424554x1304155354400114040055310244554x140055310424554x1304155354400114040055310244554x10055310424554x1304155354400114040055310244554x1055310424554x1304155354400114040055310244554x155310424554x1304155354400114040055310244554x15310424554x1304155354400114040055310244554x1310424554x1304155354400114040055310244554x110424554x1304155354400114040055310244554x10424554x1304155354400114040055310244554x1424554x1304155354400114040055310244554x124554x1true13113111211110011121141111110114115111511332110x1323110x1332110x123110x1332110x13110x132130244x132130424x132130244x12130424x132130244x1130424x132130244x130424x132130244x10424x132130244x1424x132130244x124x135241054x151432054x135241054x11432054x135241054x1432054x135241054x132054x135241054x12054x1035052010x1012005530x1035052010x112005530x1035052010x12005530x1035052010x1005530x1035052010x105530x1035052010x15530x1035052010x1530x1035052010x130x1522332011x1520232311x1522332011x120232311x1522332011x10232311x1522332011x1232311x1522332011x132311x1522332011x12311x1522332011x1311x1412221432x1412214232x1412221432x112214232x1412221432x12214232x1412221432x1214232x1412221432x114232x1412221432x14232x1412221432x1232x1021411355x1024111355x1021411355x124111355x1021411355x14111355x120530545300x120355045300x120530545300x10355045300x120530545300x1355045300x120530545300x155045300x120530545300x15045300x120530545300x1045300x104040250050x104004250050x104040250050x14004250050x104040250050x1004250050x104040250050x104250050x104040250050x14250050x144503011552x144050311552x144503011552x14050311552x144503011552x1050311552x144503011552x150311552x144503011552x10311552x144503011552x1311552x125214034243x125214034423x125214034243x15214034423x125214034243x1214034423x125214034243x114034423x125214034243x14034423x125214034243x1034423x125214034243x134423x125214034243x14423x125214034243x1423x125214034243x123x1134115212121x1121324151121x1134115212121x121324151121x1134115212121x11324151121x1134115212121x1324151121x1134115212121x124151121x1134115212121x14151121x1134115212121x151121x1542351345131x1543251345131x1542351345131x143251345131x1542351345131x13251345131x1542351345131x1251345131x1020024300243x1022400234003x1020024300243x122400234003x1020024300243x12400234003x1020024300243x1400234003x1020024300243x100234003x1020024300243x10234003x1020024300243x1234003x1020024300243x134003x1020024300243x14003x1020024300243x1003x1020024300243x103x11325252304220x11325225304220x11325252304220x1325225304220x11325252304220x125225304220x11325252304220x15225304220x11325252304220x1225304220x11325252304220x125304220x11325252304220x15304220x10341552302334x10341552032334x10341552302334x1341552032334x10341552302334x141552032334x10341552302334x11552032334x10341552302334x1552032334x10341552302334x152032334x10341552302334x12032334x10341552302334x1032334x10341552302334x132334x135053021102152x135053201102152x135053021102152x15053201102152x135053021102152x1053201102152x135053021102152x153201102152x135053021102152x13201102152x135053021102152x1201102152x135053021102152x101102152x131320445244554x131324045244554x131320445244554x11324045244554x131320445244554x1324045244554x131320445244554x124045244554x131320445244554x14045244554x131320445244554x1045244554x1233321213214132x1233312213214132x1233321213214132x133312213214132x1233321213214132x13312213214132x1233321213214132x1312213214132x1233321213214132x112213214132x1233321213214132x12213214132x133024442201111302x133204442201111302x133024442201111302x13204442201111302x133024442201111302x1204442201111302x133024442201111302x104442201111302x105303115404125013x105301315404125013x105303115404125013x15301315404125013x105303115404125013x1301315404125013x105303115404125013x101315404125013x105303115404125013x1315404125013x121331134351222224x121331143351222224x121331134351222224x1331143351222224x121331134351222224x131143351222224x121331134351222224x1143351222224x121331134351222224x143351222224x121331134351222224x13351222224x1351444410021100143x1351444410021110043x1351444410021100143x151444410021110043x1351444410021100143x11444410021110043x1351444410021100143x1444410021110043x1351444410021100143x144410021110043x1351444410021100143x14410021110043x1351444410021100143x1410021110043x1351444410021100143x110021110043x1351444410021100143x10021110043x1351444410021100143x1021110043x1351444410021100143x121110043x1351444410021100143x110043x1351444410021100143x10043x1351444410021100143x1043x1152132252422431055x1152132254222431055x1152132252422431055x152132254222431055x1152132252422431055x12132254222431055x1152132252422431055x1132254222431055x1152132252422431055x132254222431055x1152132252422431055x12254222431055x1152132252422431055x1254222431055x1152132252422431055x154222431055x1152132252422431055x14222431055x1152132252422431055x1222431055x13443412144411442520x13443142144411442520x13443412144411442520x1443142144411442520x13443412144411442520x143142144411442520x13443412144411442520x13142144411442520x13443412144411442520x1142144411442520x13443412144411442520x142144411442520x10022125150231240430x10022121550231240430x10022125150231240430x1022121550231240430x10022125150231240430x122121550231240430x10022125150231240430x12121550231240430x10022125150231240430x1121550231240430x10022125150231240430x121550231240430x10022125150231240430x11550231240430x10022125150231240430x1550231240430x130540445504305545204x130540445503405545204x130540445504305545204x10540445503405545204x130540445504305545204x1540445503405545204x130540445504305545204x140445503405545204x130540445504305545204x10445503405545204x130540445504305545204x1445503405545204x130540445504305545204x145503405545204x130540445504305545204x15503405545204x130540445504305545204x1503405545204x130540445504305545204x103405545204x130540445504305545204x13405545204x130540445504305545204x1405545204x133503545340001150314x133503554340001150314x133503545340001150314x13503554340001150314x133503545340001150314x1503554340001150314x133503545340001150314x103554340001150314x133503545340001150314x13554340001150314x133503545340001150314x1554340001150314x133503545340001150314x154340001150314x133503545340001150314x14340001150314x1423004000050551511401x1423004000050551151401x1423004000050551511401x123004000050551151401x1423004000050551511401x13004000050551151401x1423004000050551511401x1004000050551151401x1423004000050551511401x104000050551151401x1423004000050551511401x14000050551151401x1423004000050551511401x1000050551151401x1423004000050551511401x100050551151401x1423004000050551511401x10050551151401x1423004000050551511401x1050551151401x1423004000050551511401x150551151401x1423004000050551511401x10551151401x1423004000050551511401x1551151401x1423004000050551511401x151151401x1423004000050551511401x151401x1314000254424445413404x1314000254424444513404x1314000254424445413404x114000254424444513404x1314000254424445413404x14000254424444513404x1314000254424445413404x1000254424444513404x1314000254424445413404x100254424444513404x1314000254424445413404x10254424444513404x1314000254424445413404x1254424444513404x1314000254424445413404x154424444513404x1314000254424445413404x14424444513404x1314000254424445413404x1424444513404x1314000254424445413404x124444513404x1314000254424445413404x14444513404x1314000254424445413404x1444513404x1314000254424445413404x144513404x1314000254424445413404x14513404x1314000254424445413404x1513404x14100354024125215013441x14100345024125215013441x14100354024125215013441x1100345024125215013441x14100354024125215013441x100345024125215013441x14100354024125215013441x10345024125215013441x14100354024125215013441x1345024125215013441x14100354024125215013441x145024125215013441x14100354024125215013441x15024125215013441x13114012253132554511352x13114021253132554511352x13114012253132554511352x114021253132554511352x13114012253132554511352x14021253132554511352x13114012253132554511352x1021253132554511352x13114012253132554511352x121253132554511352x13114012253132554511352x11253132554511352x14320242132151103045015x14320242131251103045015x14320242132151103045015x1320242131251103045015x14320242132151103045015x120242131251103045015x14320242132151103045015x10242131251103045015x14320242132151103045015x1242131251103045015x14320242132151103045015x142131251103045015x14320242132151103045015x12131251103045015x14320242132151103045015x131251103045015x14320242132151103045015x11251103045015x14320242132151103045015x1251103045015x105521235412453253425432x105512235412453253425432x105521235412453253425432x15512235412453253425432x105521235412453253425432x1512235412453253425432x105521235412453253425432x112235412453253425432x105521235412453253425432x12235412453253425432x1332535410331110145120205051x1332535410313110145120205051x1332535410331110145120205051x132535410313110145120205051x1332535410331110145120205051x12535410313110145120205051x1332535410331110145120205051x1535410313110145120205051x1332535410331110145120205051x135410313110145120205051x1332535410331110145120205051x15410313110145120205051x1332535410331110145120205051x1410313110145120205051x1332535410331110145120205051x10313110145120205051x1332535410331110145120205051x1313110145120205051x1332535410331110145120205051x13110145120205051x1222333110534254104042401054x1222331310534254104042401054x1222333110534254104042401054x122331310534254104042401054x1222333110534254104042401054x12331310534254104042401054x1222333110534254104042401054x1331310534254104042401054x1222333110534254104042401054x131310534254104042401054x1222333110534254104042401054x1310534254104042401054x12144111412415051145231310401x12144111412415051145231314001x12144111412415051145231310401x1144111412415051145231314001x12144111412415051145231310401x144111412415051145231314001x12144111412415051145231310401x14111412415051145231314001x12144111412415051145231310401x11412415051145231314001x12144111412415051145231310401x1412415051145231314001x12144111412415051145231310401x112415051145231314001x12144111412415051145231310401x12415051145231314001x12144111412415051145231310401x1415051145231314001x12144111412415051145231310401x15051145231314001x12144111412415051145231310401x1051145231314001x12144111412415051145231310401x151145231314001x12144111412415051145231310401x1145231314001x12144111412415051145231310401x145231314001x12144111412415051145231310401x15231314001x12144111412415051145231310401x1231314001x12144111412415051145231310401x131314001x12144111412415051145231310401x1314001x12144111412415051145231310401x114001x12144111412415051145231310401x14001x12144111412415051145231310401x1001x14405455021214051303024311424x14405545021214051303024311424x14405455021214051303024311424x1405545021214051303024311424x14405455021214051303024311424x105545021214051303024311424x14405455021214051303024311424x15545021214051303024311424x14405455021214051303024311424x1545021214051303024311424x14405455021214051303024311424x145021214051303024311424x130405252240144303121254210233x130405225240144303121254210233x130405252240144303121254210233x10405225240144303121254210233x130405252240144303121254210233x1405225240144303121254210233x130405252240144303121254210233x105225240144303121254210233x130405252240144303121254210233x15225240144303121254210233x130405252240144303121254210233x1225240144303121254210233x130405252240144303121254210233x125240144303121254210233x130405252240144303121254210233x15240144303121254210233x1505442224032310020433400020304x1505442242032310020433400020304x1505442224032310020433400020304x105442242032310020433400020304x1505442224032310020433400020304x15442242032310020433400020304x1505442224032310020433400020304x1442242032310020433400020304x1505442224032310020433400020304x142242032310020433400020304x1505442224032310020433400020304x12242032310020433400020304x1505442224032310020433400020304x1242032310020433400020304x1505442224032310020433400020304x142032310020433400020304x1505442224032310020433400020304x12032310020433400020304x1304155354400114040055310244554x1304155354400114040055310424554x1304155354400114040055310244554x104155354400114040055310424554x1304155354400114040055310244554x14155354400114040055310424554x1304155354400114040055310244554x1155354400114040055310424554x1304155354400114040055310244554x155354400114040055310424554x1304155354400114040055310244554x15354400114040055310424554x1304155354400114040055310244554x1354400114040055310424554x1304155354400114040055310244554x154400114040055310424554x1304155354400114040055310244554x14400114040055310424554x1304155354400114040055310244554x1400114040055310424554x1304155354400114040055310244554x100114040055310424554x1304155354400114040055310244554x10114040055310424554x1304155354400114040055310244554x114040055310424554x1304155354400114040055310244554x14040055310424554x1304155354400114040055310244554x1040055310424554x1304155354400114040055310244554x140055310424554x1304155354400114040055310244554x10055310424554x1304155354400114040055310244554x1055310424554x1304155354400114040055310244554x155310424554x1304155354400114040055310244554x15310424554x1304155354400114040055310244554x1310424554x1304155354400114040055310244554x110424554x1304155354400114040055310244554x10424554x1304155354400114040055310244554x1424554x1304155354400114040055310244554x124554x11311311211111101021141111110114111511511332110x1323110x1332110x123110x1332110x13110x132130244x132130424x132130244x12130424x132130244x1130424x132130244x130424x132130244x10424x132130244x1424x132130244x124x135241054x151432054x135241054x11432054x135241054x1432054x135241054x132054x135241054x12054x1035052010x1012005530x1035052010x12005530x1035052010x1005530x1035052010x105530x1035052010x15530x1035052010x1530x1035052010x130x1522332011x1520232311x1522332011x120232311x1522332011x10232311x1522332011x1232311x1522332011x132311x1522332011x12311x1522332011x1311x1412221432x1412214232x1412221432x112214232x1412221432x12214232x1412221432x1214232x1412221432x114232x1412221432x14232x1412221432x1232x1021411355x1024111355x1021411355x124111355x1021411355x14111355x120530545300x120355045300x120530545300x10355045300x120530545300x1355045300x120530545300x155045300x120530545300x15045300x120530545300x1045300x104040250050x104004250050x104040250050x1004250050x104040250050x104250050x104040250050x14250050x144503011552x144050311552x144503011552x1050311552x144503011552x150311552x144503011552x10311552x144503011552x1311552x125214034243x125214034423x125214034243x15214034423x125214034243x1214034423x125214034243x114034423x125214034243x1034423x125214034243x134423x125214034243x14423x125214034243x1423x125214034243x123x1134115212121x1121324151121x1134115212121x121324151121x1134115212121x11324151121x1134115212121x1324151121x1134115212121x124151121x1134115212121x14151121x1134115212121x151121x1542351345131x1543251345131x1542351345131x143251345131x1542351345131x13251345131x1542351345131x1251345131x1020024300243x1022400234003x1020024300243x122400234003x1020024300243x12400234003x1020024300243x100234003x1020024300243x10234003x1020024300243x1234003x1020024300243x134003x1020024300243x1003x1020024300243x103x11325252304220x11325225304220x11325252304220x1325225304220x11325252304220x125225304220x11325252304220x15225304220x11325252304220x1225304220x11325252304220x125304220x11325252304220x15304220x10341552302334x10341552032334x10341552302334x1341552032334x10341552302334x141552032334x10341552302334x11552032334x10341552302334x1552032334x10341552302334x152032334x10341552302334x12032334x10341552302334x1032334x10341552302334x132334x135053021102152x135053201102152x135053021102152x15053201102152x135053021102152x1053201102152x135053021102152x153201102152x135053021102152x13201102152x135053021102152x1201102152x135053021102152x101102152x131320445244554x131324045244554x131320445244554x11324045244554x131320445244554x1324045244554x131320445244554x124045244554x131320445244554x1045244554x1233321213214132x1233312213214132x1233321213214132x133312213214132x1233321213214132x13312213214132x1233321213214132x1312213214132x1233321213214132x112213214132x1233321213214132x12213214132x133024442201111302x133204442201111302x133024442201111302x13204442201111302x133024442201111302x1204442201111302x133024442201111302x104442201111302x105303115404125013x105301315404125013x105303115404125013x15301315404125013x105303115404125013x1301315404125013x105303115404125013x101315404125013x105303115404125013x1315404125013x121331134351222224x121331143351222224x121331134351222224x1331143351222224x121331134351222224x131143351222224x121331134351222224x1143351222224x121331134351222224x143351222224x121331134351222224x13351222224x1351444410021100143x1351444410021110043x1351444410021100143x151444410021110043x1351444410021100143x11444410021110043x1351444410021100143x1444410021110043x1351444410021100143x144410021110043x1351444410021100143x14410021110043x1351444410021100143x1410021110043x1351444410021100143x10021110043x1351444410021100143x1021110043x1351444410021100143x121110043x1351444410021100143x10043x1351444410021100143x1043x1152132252422431055x1152132254222431055x1152132252422431055x152132254222431055x1152132252422431055x12132254222431055x1152132252422431055x1132254222431055x1152132252422431055x132254222431055x1152132252422431055x12254222431055x1152132252422431055x1254222431055x1152132252422431055x154222431055x1152132252422431055x14222431055x1152132252422431055x1222431055x13443412144411442520x13443142144411442520x13443412144411442520x1443142144411442520x13443412144411442520x143142144411442520x13443412144411442520x13142144411442520x13443412144411442520x1142144411442520x13443412144411442520x142144411442520x10022125150231240430x10022121550231240430x10022125150231240430x1022121550231240430x10022125150231240430x122121550231240430x10022125150231240430x12121550231240430x10022125150231240430x1121550231240430x10022125150231240430x121550231240430x10022125150231240430x11550231240430x10022125150231240430x1550231240430x130540445504305545204x130540445503405545204x130540445504305545204x10540445503405545204x130540445504305545204x1540445503405545204x130540445504305545204x10445503405545204x130540445504305545204x1445503405545204x130540445504305545204x145503405545204x130540445504305545204x15503405545204x130540445504305545204x1503405545204x130540445504305545204x103405545204x130540445504305545204x13405545204x133503545340001150314x133503554340001150314x133503545340001150314x13503554340001150314x133503545340001150314x1503554340001150314x133503545340001150314x103554340001150314x133503545340001150314x13554340001150314x133503545340001150314x1554340001150314x133503545340001150314x154340001150314x133503545340001150314x14340001150314x1423004000050551511401x1423004000050551151401x1423004000050551511401x123004000050551151401x1423004000050551511401x13004000050551151401x1423004000050551511401x1004000050551151401x1423004000050551511401x104000050551151401x1423004000050551511401x1000050551151401x1423004000050551511401x100050551151401x1423004000050551511401x10050551151401x1423004000050551511401x1050551151401x1423004000050551511401x150551151401x1423004000050551511401x10551151401x1423004000050551511401x1551151401x1423004000050551511401x151151401x1423004000050551511401x151401x1314000254424445413404x1314000254424444513404x1314000254424445413404x114000254424444513404x1314000254424445413404x1000254424444513404x1314000254424445413404x100254424444513404x1314000254424445413404x10254424444513404x1314000254424445413404x1254424444513404x1314000254424445413404x154424444513404x1314000254424445413404x14424444513404x1314000254424445413404x1424444513404x1314000254424445413404x124444513404x1314000254424445413404x14444513404x1314000254424445413404x1444513404x1314000254424445413404x144513404x1314000254424445413404x14513404x1314000254424445413404x1513404x14100354024125215013441x14100345024125215013441x14100354024125215013441x100345024125215013441x14100354024125215013441x10345024125215013441x14100354024125215013441x1345024125215013441x14100354024125215013441x145024125215013441x14100354024125215013441x15024125215013441x13114012253132554511352x13114021253132554511352x13114012253132554511352x114021253132554511352x13114012253132554511352x1021253132554511352x13114012253132554511352x121253132554511352x13114012253132554511352x11253132554511352x14320242132151103045015x14320242131251103045015x14320242132151103045015x1320242131251103045015x14320242132151103045015x120242131251103045015x14320242132151103045015x10242131251103045015x14320242132151103045015x1242131251103045015x14320242132151103045015x142131251103045015x14320242132151103045015x12131251103045015x14320242132151103045015x131251103045015x14320242132151103045015x11251103045015x14320242132151103045015x1251103045015x105521235412453253425432x105512235412453253425432x105521235412453253425432x15512235412453253425432x105521235412453253425432x1512235412453253425432x105521235412453253425432x112235412453253425432x105521235412453253425432x12235412453253425432x1332535410331110145120205051x1332535410313110145120205051x1332535410331110145120205051x132535410313110145120205051x1332535410331110145120205051x12535410313110145120205051x1332535410331110145120205051x1535410313110145120205051x1332535410331110145120205051x135410313110145120205051x1332535410331110145120205051x15410313110145120205051x1332535410331110145120205051x1410313110145120205051x1332535410331110145120205051x10313110145120205051x1332535410331110145120205051x1313110145120205051x1332535410331110145120205051x13110145120205051x1222333110534254104042401054x1222331310534254104042401054x1222333110534254104042401054x122331310534254104042401054x1222333110534254104042401054x12331310534254104042401054x1222333110534254104042401054x1331310534254104042401054x1222333110534254104042401054x131310534254104042401054x1222333110534254104042401054x1310534254104042401054x12144111412415051145231310401x12144111412415051145231314001x12144111412415051145231310401x1144111412415051145231314001x12144111412415051145231310401x144111412415051145231314001x12144111412415051145231310401x14111412415051145231314001x12144111412415051145231310401x11412415051145231314001x12144111412415051145231310401x1412415051145231314001x12144111412415051145231310401x112415051145231314001x12144111412415051145231310401x12415051145231314001x12144111412415051145231310401x1415051145231314001x12144111412415051145231310401x15051145231314001x12144111412415051145231310401x1051145231314001x12144111412415051145231310401x151145231314001x12144111412415051145231310401x1145231314001x12144111412415051145231310401x145231314001x12144111412415051145231310401x15231314001x12144111412415051145231310401x1231314001x12144111412415051145231310401x131314001x12144111412415051145231310401x1314001x12144111412415051145231310401x114001x12144111412415051145231310401x1001x14405455021214051303024311424x14405545021214051303024311424x14405455021214051303024311424x105545021214051303024311424x14405455021214051303024311424x15545021214051303024311424x14405455021214051303024311424x1545021214051303024311424x14405455021214051303024311424x145021214051303024311424x130405252240144303121254210233x130405225240144303121254210233x130405252240144303121254210233x10405225240144303121254210233x130405252240144303121254210233x105225240144303121254210233x130405252240144303121254210233x15225240144303121254210233x130405252240144303121254210233x1225240144303121254210233x130405252240144303121254210233x125240144303121254210233x130405252240144303121254210233x15240144303121254210233x1505442224032310020433400020304x1505442242032310020433400020304x1505442224032310020433400020304x105442242032310020433400020304x1505442224032310020433400020304x15442242032310020433400020304x1505442224032310020433400020304x1442242032310020433400020304x1505442224032310020433400020304x142242032310020433400020304x1505442224032310020433400020304x12242032310020433400020304x1505442224032310020433400020304x1242032310020433400020304x1505442224032310020433400020304x12032310020433400020304x1304155354400114040055310244554x1304155354400114040055310424554x1304155354400114040055310244554x104155354400114040055310424554x1304155354400114040055310244554x14155354400114040055310424554x1304155354400114040055310244554x1155354400114040055310424554x1304155354400114040055310244554x155354400114040055310424554x1304155354400114040055310244554x15354400114040055310424554x1304155354400114040055310244554x1354400114040055310424554x1304155354400114040055310244554x154400114040055310424554x1304155354400114040055310244554x14400114040055310424554x1304155354400114040055310244554x100114040055310424554x1304155354400114040055310244554x10114040055310424554x1304155354400114040055310244554x114040055310424554x1304155354400114040055310244554x1040055310424554x1304155354400114040055310244554x10055310424554x1304155354400114040055310244554x1055310424554x1304155354400114040055310244554x155310424554x1304155354400114040055310244554x15310424554x1304155354400114040055310244554x1310424554x1304155354400114040055310244554x10424554x1304155354400114040055310244554x1424554x1304155354400114040055310244554x124554x113113112101100102114101111011411511511332110x1323110x1332110x123110x1332110x13110x132130244x132130424x132130244x12130424x132130244x1130424x132130244x130424x132130244x10424x132130244x1424x132130244x124x135241054x151432054x135241054x1432054x135241054x132054x135241054x12054x1035052010x1012005530x1035052010x12005530x1035052010x1005530x1035052010x105530x1035052010x15530x1035052010x1530x1035052010x130x1522332011x1520232311x1522332011x120232311x1522332011x10232311x1522332011x1232311x1522332011x132311x1522332011x12311x1522332011x1311x1412221432x1412214232x1412221432x12214232x1412221432x1214232x1412221432x14232x1412221432x1232x1021411355x1024111355x1021411355x124111355x1021411355x14111355x120530545300x120355045300x120530545300x10355045300x120530545300x1355045300x120530545300x155045300x120530545300x15045300x120530545300x1045300x104040250050x104004250050x104040250050x1004250050x104040250050x104250050x104040250050x14250050x144503011552x144050311552x144503011552x1050311552x144503011552x150311552x144503011552x10311552x144503011552x1311552x125214034243x125214034423x125214034243x15214034423x125214034243x1214034423x125214034243x1034423x125214034243x134423x125214034243x14423x125214034243x1423x125214034243x123x1134115212121x121324151121x1134115212121x11324151121x1134115212121x1324151121x1134115212121x124151121x1134115212121x14151121x1134115212121x151121x1542351345131x1543251345131x1542351345131x143251345131x1542351345131x13251345131x1542351345131x1251345131x1020024300243x1022400234003x1020024300243x122400234003x1020024300243x12400234003x1020024300243x100234003x1020024300243x10234003x1020024300243x1234003x1020024300243x134003x1020024300243x1003x1020024300243x103x11325252304220x11325225304220x11325252304220x1325225304220x11325252304220x125225304220x11325252304220x15225304220x11325252304220x1225304220x11325252304220x125304220x11325252304220x15304220x10341552302334x10341552032334x10341552302334x1341552032334x10341552302334x141552032334x10341552302334x11552032334x10341552302334x1552032334x10341552302334x152032334x10341552302334x12032334x10341552302334x1032334x10341552302334x132334x135053021102152x135053201102152x135053021102152x15053201102152x135053021102152x1053201102152x135053021102152x153201102152x135053021102152x13201102152x135053021102152x1201102152x135053021102152x101102152x131320445244554x131324045244554x131320445244554x11324045244554x131320445244554x1324045244554x131320445244554x124045244554x131320445244554x1045244554x1233321213214132x1233312213214132x1233321213214132x133312213214132x1233321213214132x13312213214132x1233321213214132x1312213214132x1233321213214132x12213214132x133024442201111302x133204442201111302x133024442201111302x13204442201111302x133024442201111302x1204442201111302x133024442201111302x104442201111302x105303115404125013x105301315404125013x105303115404125013x15301315404125013x105303115404125013x1301315404125013x105303115404125013x101315404125013x105303115404125013x1315404125013x121331134351222224x121331143351222224x121331134351222224x1331143351222224x121331134351222224x131143351222224x121331134351222224x143351222224x121331134351222224x13351222224x1351444410021100143x1351444410021110043x1351444410021100143x151444410021110043x1351444410021100143x1444410021110043x1351444410021100143x144410021110043x1351444410021100143x14410021110043x1351444410021100143x1410021110043x1351444410021100143x10021110043x1351444410021100143x1021110043x1351444410021100143x121110043x1351444410021100143x10043x1351444410021100143x1043x1152132252422431055x1152132254222431055x1152132252422431055x152132254222431055x1152132252422431055x12132254222431055x1152132252422431055x1132254222431055x1152132252422431055x132254222431055x1152132252422431055x12254222431055x1152132252422431055x1254222431055x1152132252422431055x154222431055x1152132252422431055x14222431055x1152132252422431055x1222431055x13443412144411442520x13443142144411442520x13443412144411442520x1443142144411442520x13443412144411442520x143142144411442520x13443412144411442520x13142144411442520x13443412144411442520x142144411442520x10022125150231240430x10022121550231240430x10022125150231240430x1022121550231240430x10022125150231240430x122121550231240430x10022125150231240430x12121550231240430x10022125150231240430x121550231240430x10022125150231240430x11550231240430x10022125150231240430x1550231240430x130540445504305545204x130540445503405545204x130540445504305545204x10540445503405545204x130540445504305545204x1540445503405545204x130540445504305545204x10445503405545204x130540445504305545204x1445503405545204x130540445504305545204x145503405545204x130540445504305545204x15503405545204x130540445504305545204x1503405545204x130540445504305545204x103405545204x130540445504305545204x13405545204x133503545340001150314x133503554340001150314x133503545340001150314x13503554340001150314x133503545340001150314x1503554340001150314x133503545340001150314x103554340001150314x133503545340001150314x13554340001150314x133503545340001150314x1554340001150314x133503545340001150314x154340001150314x133503545340001150314x14340001150314x1423004000050551511401x1423004000050551151401x1423004000050551511401x123004000050551151401x1423004000050551511401x13004000050551151401x1423004000050551511401x1004000050551151401x1423004000050551511401x104000050551151401x1423004000050551511401x1000050551151401x1423004000050551511401x100050551151401x1423004000050551511401x10050551151401x1423004000050551511401x1050551151401x1423004000050551511401x150551151401x1423004000050551511401x10551151401x1423004000050551511401x1551151401x1423004000050551511401x151151401x1423004000050551511401x151401x1314000254424445413404x1314000254424444513404x1314000254424445413404x1000254424444513404x1314000254424445413404x100254424444513404x1314000254424445413404x10254424444513404x1314000254424445413404x1254424444513404x1314000254424445413404x154424444513404x1314000254424445413404x14424444513404x1314000254424445413404x1424444513404x1314000254424445413404x124444513404x1314000254424445413404x14444513404x1314000254424445413404x1444513404x1314000254424445413404x144513404x1314000254424445413404x14513404x1314000254424445413404x1513404x14100354024125215013441x14100345024125215013441x14100354024125215013441x100345024125215013441x14100354024125215013441x10345024125215013441x14100354024125215013441x1345024125215013441x14100354024125215013441x145024125215013441x14100354024125215013441x15024125215013441x13114012253132554511352x13114021253132554511352x13114012253132554511352x1021253132554511352x13114012253132554511352x121253132554511352x14320242132151103045015x14320242131251103045015x14320242132151103045015x1320242131251103045015x14320242132151103045015x120242131251103045015x14320242132151103045015x10242131251103045015x14320242132151103045015x1242131251103045015x14320242132151103045015x142131251103045015x14320242132151103045015x12131251103045015x14320242132151103045015x131251103045015x14320242132151103045015x1251103045015x105521235412453253425432x105512235412453253425432x105521235412453253425432x15512235412453253425432x105521235412453253425432x1512235412453253425432x105521235412453253425432x12235412453253425432x1332535410331110145120205051x1332535410313110145120205051x1332535410331110145120205051x132535410313110145120205051x1332535410331110145120205051x12535410313110145120205051x1332535410331110145120205051x1535410313110145120205051x1332535410331110145120205051x135410313110145120205051x1332535410331110145120205051x15410313110145120205051x1332535410331110145120205051x1410313110145120205051x1332535410331110145120205051x10313110145120205051x1332535410331110145120205051x1313110145120205051x1332535410331110145120205051x13110145120205051x1222333110534254104042401054x1222331310534254104042401054x1222333110534254104042401054x122331310534254104042401054x1222333110534254104042401054x12331310534254104042401054x1222333110534254104042401054x1331310534254104042401054x1222333110534254104042401054x131310534254104042401054x1222333110534254104042401054x1310534254104042401054x12144111412415051145231310401x12144111412415051145231314001x12144111412415051145231310401x144111412415051145231314001x12144111412415051145231310401x14111412415051145231314001x12144111412415051145231310401x1412415051145231314001x12144111412415051145231310401x12415051145231314001x12144111412415051145231310401x1415051145231314001x12144111412415051145231310401x15051145231314001x12144111412415051145231310401x1051145231314001x12144111412415051145231310401x151145231314001x12144111412415051145231310401x145231314001x12144111412415051145231310401x15231314001x12144111412415051145231310401x1231314001x12144111412415051145231310401x131314001x12144111412415051145231310401x1314001x12144111412415051145231310401x1001x14405455021214051303024311424x14405545021214051303024311424x14405455021214051303024311424x105545021214051303024311424x14405455021214051303024311424x15545021214051303024311424x14405455021214051303024311424x1545021214051303024311424x14405455021214051303024311424x145021214051303024311424x130405252240144303121254210233x130405225240144303121254210233x130405252240144303121254210233x10405225240144303121254210233x130405252240144303121254210233x105225240144303121254210233x130405252240144303121254210233x15225240144303121254210233x130405252240144303121254210233x1225240144303121254210233x130405252240144303121254210233x125240144303121254210233x130405252240144303121254210233x15240144303121254210233x1505442224032310020433400020304x1505442242032310020433400020304x1505442224032310020433400020304x105442242032310020433400020304x1505442224032310020433400020304x15442242032310020433400020304x1505442224032310020433400020304x1442242032310020433400020304x1505442224032310020433400020304x142242032310020433400020304x1505442224032310020433400020304x12242032310020433400020304x1505442224032310020433400020304x1242032310020433400020304x1505442224032310020433400020304x12032310020433400020304x1304155354400114040055310244554x1304155354400114040055310424554x1304155354400114040055310244554x104155354400114040055310424554x1304155354400114040055310244554x14155354400114040055310424554x1304155354400114040055310244554x1155354400114040055310424554x1304155354400114040055310244554x155354400114040055310424554x1304155354400114040055310244554x15354400114040055310424554x1304155354400114040055310244554x1354400114040055310424554x1304155354400114040055310244554x154400114040055310424554x1304155354400114040055310244554x14400114040055310424554x1304155354400114040055310244554x100114040055310424554x1304155354400114040055310244554x10114040055310424554x1304155354400114040055310244554x1040055310424554x1304155354400114040055310244554x10055310424554x1304155354400114040055310244554x1055310424554x1304155354400114040055310244554x155310424554x1304155354400114040055310244554x15310424554x1304155354400114040055310244554x1310424554x1304155354400114040055310244554x10424554x1304155354400114040055310244554x1424554x1304155354400114040055310244554x124554x132130244x132130424x1332110x1323110x135053021102152x135053201102152x131320445244554x131324045244554x133024442201111302x133204442201111302x1351444410021100143x1351444410021110043x13443412144411442520x13443142144411442520x130540445504305545204x130540445503405545204x133503545340001150314x133503554340001150314x1314000254424445413404x1314000254424444513404x13114012253132554511352x13114021253132554511352x1332535410331110145120205051x1332535410313110145120205051x130405252240144303121254210233x130405225240144303121254210233x1304155354400114040055310244554x1304155354400114040055310424554x135241054x151432054x125214034243x125214034423x120530545300x120355045300x1233321213214132x1233312213214132x121331134351222224x121331143351222224x1222333110534254104042401054x1222331310534254104042401054x12144111412415051145231310401x12144111412415051145231314001x144503011552x144050311552x1412221432x1412214232x1423004000050551511401x1423004000050551151401x14100354024125215013441x14100345024125215013441x14320242132151103045015x14320242131251103045015x14405455021214051303024311424x14405545021214051303024311424x1542351345131x1543251345131x1522332011x1520232311x1505442224032310020433400020304x1505442242032310020433400020304x113113112111110102114111110114111510511332110x1323110x1332110x123110x1332110x13110x132130244x132130424x132130244x12130424x132130244x1130424x132130244x130424x132130244x10424x132130244x1424x132130244x124x135241054x151432054x135241054x1432054x135241054x132054x135241054x12054x1035052010x1012005530x1035052010x12005530x1035052010x1005530x1035052010x105530x1035052010x15530x1035052010x1530x1035052010x130x1522332011x1520232311x1522332011x120232311x1522332011x10232311x1522332011x1232311x1522332011x132311x1522332011x12311x1522332011x1311x1412221432x1412214232x1412221432x12214232x1412221432x1214232x1412221432x14232x1412221432x1232x1021411355x1024111355x1021411355x124111355x1021411355x14111355x120530545300x120355045300x120530545300x10355045300x120530545300x1355045300x120530545300x155045300x120530545300x15045300x120530545300x1045300x104040250050x104004250050x104040250050x1004250050x104040250050x104250050x104040250050x14250050x144503011552x144050311552x144503011552x1050311552x144503011552x150311552x144503011552x10311552x144503011552x1311552x125214034243x125214034423x125214034243x15214034423x125214034243x1214034423x125214034243x1034423x125214034243x134423x125214034243x14423x125214034243x1423x125214034243x123x1134115212121x121324151121x1134115212121x11324151121x1134115212121x1324151121x1134115212121x124151121x1134115212121x14151121x1134115212121x151121x1542351345131x1543251345131x1542351345131x143251345131x1542351345131x13251345131x1542351345131x1251345131x1020024300243x1022400234003x1020024300243x122400234003x1020024300243x12400234003x1020024300243x100234003x1020024300243x10234003x1020024300243x1234003x1020024300243x134003x1020024300243x1003x1020024300243x103x11325252304220x11325225304220x11325252304220x1325225304220x11325252304220x125225304220x11325252304220x15225304220x11325252304220x1225304220x11325252304220x125304220x11325252304220x15304220x10341552302334x10341552032334x10341552302334x1341552032334x10341552302334x141552032334x10341552302334x11552032334x10341552302334x1552032334x10341552302334x152032334x10341552302334x12032334x10341552302334x1032334x10341552302334x132334x135053021102152x135053201102152x135053021102152x15053201102152x135053021102152x1053201102152x135053021102152x153201102152x135053021102152x13201102152x135053021102152x1201102152x135053021102152x101102152x131320445244554x131324045244554x131320445244554x11324045244554x131320445244554x1324045244554x131320445244554x124045244554x131320445244554x1045244554x1233321213214132x1233312213214132x1233321213214132x133312213214132x1233321213214132x13312213214132x1233321213214132x1312213214132x1233321213214132x12213214132x133024442201111302x133204442201111302x133024442201111302x13204442201111302x133024442201111302x1204442201111302x133024442201111302x104442201111302x105303115404125013x105301315404125013x105303115404125013x15301315404125013x105303115404125013x1301315404125013x105303115404125013x101315404125013x105303115404125013x1315404125013x121331134351222224x121331143351222224x121331134351222224x1331143351222224x121331134351222224x131143351222224x121331134351222224x143351222224x121331134351222224x13351222224x1351444410021100143x1351444410021110043x1351444410021100143x151444410021110043x1351444410021100143x1444410021110043x1351444410021100143x144410021110043x1351444410021100143x14410021110043x1351444410021100143x1410021110043x1351444410021100143x10021110043x1351444410021100143x1021110043x1351444410021100143x121110043x1351444410021100143x10043x1351444410021100143x1043x1152132252422431055x1152132254222431055x1152132252422431055x152132254222431055x1152132252422431055x12132254222431055x1152132252422431055x1132254222431055x1152132252422431055x132254222431055x1152132252422431055x12254222431055x1152132252422431055x1254222431055x1152132252422431055x154222431055x1152132252422431055x14222431055x1152132252422431055x1222431055x13443412144411442520x13443142144411442520x13443412144411442520x1443142144411442520x13443412144411442520x143142144411442520x13443412144411442520x13142144411442520x13443412144411442520x142144411442520x10022125150231240430x10022121550231240430x10022125150231240430x1022121550231240430x10022125150231240430x122121550231240430x10022125150231240430x12121550231240430x10022125150231240430x121550231240430x10022125150231240430x11550231240430x10022125150231240430x1550231240430x130540445504305545204x130540445503405545204x130540445504305545204x10540445503405545204x130540445504305545204x1540445503405545204x130540445504305545204x10445503405545204x130540445504305545204x1445503405545204x130540445504305545204x15503405545204x130540445504305545204x1503405545204x130540445504305545204x103405545204x130540445504305545204x13405545204x133503545340001150314x133503554340001150314x133503545340001150314x13503554340001150314x133503545340001150314x1503554340001150314x133503545340001150314x103554340001150314x133503545340001150314x13554340001150314x133503545340001150314x1554340001150314x133503545340001150314x154340001150314x133503545340001150314x14340001150314x1423004000050551511401x1423004000050551151401x1423004000050551511401x123004000050551151401x1423004000050551511401x13004000050551151401x1423004000050551511401x1004000050551151401x1423004000050551511401x104000050551151401x1423004000050551511401x1000050551151401x1423004000050551511401x100050551151401x1423004000050551511401x10050551151401x1423004000050551511401x1050551151401x1423004000050551511401x150551151401x1423004000050551511401x10551151401x1423004000050551511401x1551151401x1423004000050551511401x151151401x1423004000050551511401x151401x1314000254424445413404x1314000254424444513404x1314000254424445413404x1000254424444513404x1314000254424445413404x100254424444513404x1314000254424445413404x10254424444513404x1314000254424445413404x1254424444513404x1314000254424445413404x154424444513404x1314000254424445413404x14424444513404x1314000254424445413404x1424444513404x1314000254424445413404x124444513404x1314000254424445413404x14444513404x1314000254424445413404x1444513404x1314000254424445413404x144513404x1314000254424445413404x1513404x14100354024125215013441x14100345024125215013441x14100354024125215013441x100345024125215013441x14100354024125215013441x10345024125215013441x14100354024125215013441x1345024125215013441x14100354024125215013441x15024125215013441x13114012253132554511352x13114021253132554511352x13114012253132554511352x1021253132554511352x13114012253132554511352x121253132554511352x14320242132151103045015x14320242131251103045015x14320242132151103045015x1320242131251103045015x14320242132151103045015x120242131251103045015x14320242132151103045015x10242131251103045015x14320242132151103045015x1242131251103045015x14320242132151103045015x142131251103045015x14320242132151103045015x12131251103045015x14320242132151103045015x131251103045015x14320242132151103045015x1251103045015x105521235412453253425432x105512235412453253425432x105521235412453253425432x15512235412453253425432x105521235412453253425432x1512235412453253425432x105521235412453253425432x12235412453253425432x1332535410331110145120205051x1332535410313110145120205051x1332535410331110145120205051x132535410313110145120205051x1332535410331110145120205051x12535410313110145120205051x1332535410331110145120205051x1535410313110145120205051x1332535410331110145120205051x135410313110145120205051x1332535410331110145120205051x15410313110145120205051x1332535410331110145120205051x1410313110145120205051x1332535410331110145120205051x10313110145120205051x1332535410331110145120205051x1313110145120205051x1332535410331110145120205051x13110145120205051x1222333110534254104042401054x1222331310534254104042401054x1222333110534254104042401054x122331310534254104042401054x1222333110534254104042401054x12331310534254104042401054x1222333110534254104042401054x1331310534254104042401054x1222333110534254104042401054x131310534254104042401054x1222333110534254104042401054x1310534254104042401054x12144111412415051145231310401x12144111412415051145231314001x12144111412415051145231310401x144111412415051145231314001x12144111412415051145231310401x14111412415051145231314001x12144111412415051145231310401x1412415051145231314001x12144111412415051145231310401x12415051145231314001x12144111412415051145231310401x1415051145231314001x12144111412415051145231310401x15051145231314001x12144111412415051145231310401x1051145231314001x12144111412415051145231310401x151145231314001x12144111412415051145231310401x15231314001x12144111412415051145231310401x1231314001x12144111412415051145231310401x131314001x12144111412415051145231310401x1314001x12144111412415051145231310401x1001x14405455021214051303024311424x14405545021214051303024311424x14405455021214051303024311424x105545021214051303024311424x14405455021214051303024311424x15545021214051303024311424x14405455021214051303024311424x1545021214051303024311424x130405252240144303121254210233x130405225240144303121254210233x130405252240144303121254210233x10405225240144303121254210233x130405252240144303121254210233x105225240144303121254210233x130405252240144303121254210233x15225240144303121254210233x130405252240144303121254210233x1225240144303121254210233x130405252240144303121254210233x125240144303121254210233x130405252240144303121254210233x15240144303121254210233x1505442224032310020433400020304x1505442242032310020433400020304x1505442224032310020433400020304x105442242032310020433400020304x1505442224032310020433400020304x15442242032310020433400020304x1505442224032310020433400020304x1442242032310020433400020304x1505442224032310020433400020304x142242032310020433400020304x1505442224032310020433400020304x12242032310020433400020304x1505442224032310020433400020304x1242032310020433400020304x1505442224032310020433400020304x12032310020433400020304x1304155354400114040055310244554x1304155354400114040055310424554x1304155354400114040055310244554x104155354400114040055310424554x1304155354400114040055310244554x14155354400114040055310424554x1304155354400114040055310244554x1155354400114040055310424554x1304155354400114040055310244554x155354400114040055310424554x1304155354400114040055310244554x15354400114040055310424554x1304155354400114040055310244554x1354400114040055310424554x1304155354400114040055310244554x154400114040055310424554x1304155354400114040055310244554x14400114040055310424554x1304155354400114040055310244554x100114040055310424554x1304155354400114040055310244554x10114040055310424554x1304155354400114040055310244554x1040055310424554x1304155354400114040055310244554x10055310424554x1304155354400114040055310244554x1055310424554x1304155354400114040055310244554x155310424554x1304155354400114040055310244554x15310424554x1304155354400114040055310244554x1310424554x1304155354400114040055310244554x10424554x1304155354400114040055310244554x1424554x1304155354400114040055310244554x124554x11325252304220x11325225304220x1134115212121x1121324151121x1152132252422431055x1152132254222431055x132130244x132130424x1332110x1323110x135053021102152x135053201102152x131320445244554x131324045244554x133024442201111302x133204442201111302x1351444410021100143x1351444410021110043x13443412144411442520x13443142144411442520x130540445504305545204x130540445503405545204x133503545340001150314x133503554340001150314x1314000254424445413404x1314000254424444513404x13114012253132554511352x13114021253132554511352x1332535410331110145120205051x1332535410313110145120205051x130405252240144303121254210233x130405225240144303121254210233x1304155354400114040055310244554x1304155354400114040055310424554x135241054x151432054x125214034243x125214034423x120530545300x120355045300x1233321213214132x1233312213214132x121331134351222224x121331143351222224x1222333110534254104042401054x1222331310534254104042401054x12144111412415051145231310401x12144111412415051145231314001x144503011552x144050311552x1412221432x1412214232x1423004000050551511401x1423004000050551151401x14100354024125215013441x14100345024125215013441x14320242132151103045015x14320242131251103045015x14405455021214051303024311424x14405545021214051303024311424x1542351345131x1543251345131x1522332011x1520232311x1505442224032310020433400020304x1505442242032310020433400020304x1131031112101100102104111111010410510510332110x1323110x1332110x123110x1332110x13110x132130244x132130424x132130244x12130424x132130244x1130424x132130244x130424x132130244x10424x132130244x1424x132130244x124x135241054x151432054x135241054x1432054x135241054x132054x135241054x12054x1035052010x1012005530x1035052010x12005530x1035052010x1005530x1035052010x105530x1035052010x15530x1035052010x1530x1035052010x130x1522332011x1520232311x1522332011x120232311x1522332011x10232311x1522332011x1232311x1522332011x132311x1522332011x12311x1522332011x1311x1412221432x1412214232x1412221432x12214232x1412221432x1214232x1412221432x14232x1412221432x1232x1021411355x1024111355x1021411355x124111355x1021411355x14111355x120530545300x120355045300x120530545300x10355045300x120530545300x1355045300x120530545300x155045300x120530545300x15045300x120530545300x1045300x104040250050x104004250050x104040250050x1004250050x104040250050x104250050x104040250050x14250050x144503011552x144050311552x144503011552x1050311552x144503011552x150311552x144503011552x10311552x144503011552x1311552x125214034243x125214034423x125214034243x15214034423x125214034243x1214034423x125214034243x1034423x125214034243x134423x125214034243x14423x125214034243x1423x125214034243x123x1542351345131x1543251345131x1542351345131x143251345131x1542351345131x13251345131x1542351345131x1251345131x1020024300243x1022400234003x1020024300243x122400234003x1020024300243x12400234003x1020024300243x100234003x1020024300243x10234003x1020024300243x1234003x1020024300243x134003x1020024300243x1003x1020024300243x103x11325252304220x11325225304220x11325252304220x1325225304220x11325252304220x125225304220x11325252304220x15225304220x11325252304220x1225304220x11325252304220x125304220x11325252304220x15304220x10341552302334x10341552032334x10341552302334x1341552032334x10341552302334x141552032334x10341552302334x11552032334x10341552302334x1552032334x10341552302334x152032334x10341552302334x12032334x10341552302334x1032334x10341552302334x132334x135053021102152x135053201102152x135053021102152x15053201102152x135053021102152x1053201102152x135053021102152x153201102152x135053021102152x13201102152x135053021102152x1201102152x135053021102152x101102152x131320445244554x131324045244554x131320445244554x11324045244554x131320445244554x1324045244554x131320445244554x124045244554x131320445244554x1045244554x1233321213214132x1233312213214132x1233321213214132x133312213214132x1233321213214132x13312213214132x1233321213214132x1312213214132x1233321213214132x12213214132x133024442201111302x133204442201111302x133024442201111302x13204442201111302x133024442201111302x1204442201111302x133024442201111302x104442201111302x105303115404125013x105301315404125013x105303115404125013x15301315404125013x105303115404125013x1301315404125013x105303115404125013x101315404125013x105303115404125013x1315404125013x121331134351222224x121331143351222224x121331134351222224x1331143351222224x121331134351222224x131143351222224x121331134351222224x143351222224x121331134351222224x13351222224x1351444410021100143x1351444410021110043x1351444410021100143x151444410021110043x1351444410021100143x1444410021110043x1351444410021100143x144410021110043x1351444410021100143x14410021110043x1351444410021100143x1410021110043x1351444410021100143x10021110043x1351444410021100143x1021110043x1351444410021100143x121110043x1351444410021100143x10043x1351444410021100143x1043x1152132252422431055x1152132254222431055x1152132252422431055x152132254222431055x1152132252422431055x12132254222431055x1152132252422431055x1132254222431055x1152132252422431055x132254222431055x1152132252422431055x12254222431055x1152132252422431055x1254222431055x1152132252422431055x154222431055x1152132252422431055x14222431055x1152132252422431055x1222431055x13443412144411442520x13443142144411442520x13443412144411442520x1443142144411442520x13443412144411442520x143142144411442520x13443412144411442520x13142144411442520x13443412144411442520x142144411442520x10022125150231240430x10022121550231240430x10022125150231240430x1022121550231240430x10022125150231240430x122121550231240430x10022125150231240430x12121550231240430x10022125150231240430x121550231240430x10022125150231240430x11550231240430x10022125150231240430x1550231240430x130540445504305545204x130540445503405545204x130540445504305545204x10540445503405545204x130540445504305545204x1540445503405545204x130540445504305545204x10445503405545204x130540445504305545204x1445503405545204x130540445504305545204x15503405545204x130540445504305545204x1503405545204x130540445504305545204x103405545204x130540445504305545204x13405545204x133503545340001150314x133503554340001150314x133503545340001150314x13503554340001150314x133503545340001150314x1503554340001150314x133503545340001150314x103554340001150314x133503545340001150314x13554340001150314x133503545340001150314x1554340001150314x133503545340001150314x154340001150314x133503545340001150314x14340001150314x1423004000050551511401x1423004000050551151401x1423004000050551511401x123004000050551151401x1423004000050551511401x13004000050551151401x1423004000050551511401x1004000050551151401x1423004000050551511401x104000050551151401x1423004000050551511401x1000050551151401x1423004000050551511401x100050551151401x1423004000050551511401x10050551151401x1423004000050551511401x1050551151401x1423004000050551511401x150551151401x1423004000050551511401x10551151401x1423004000050551511401x1551151401x1423004000050551511401x151151401x1423004000050551511401x151401x1314000254424445413404x1314000254424444513404x1314000254424445413404x1000254424444513404x1314000254424445413404x100254424444513404x1314000254424445413404x10254424444513404x1314000254424445413404x1254424444513404x1314000254424445413404x154424444513404x1314000254424445413404x14424444513404x1314000254424445413404x1424444513404x1314000254424445413404x124444513404x1314000254424445413404x14444513404x1314000254424445413404x1444513404x1314000254424445413404x144513404x1314000254424445413404x1513404x14100354024125215013441x14100345024125215013441x14100354024125215013441x100345024125215013441x14100354024125215013441x10345024125215013441x14100354024125215013441x1345024125215013441x14100354024125215013441x15024125215013441x13114012253132554511352x13114021253132554511352x13114012253132554511352x1021253132554511352x13114012253132554511352x121253132554511352x14320242132151103045015x14320242131251103045015x14320242132151103045015x1320242131251103045015x14320242132151103045015x120242131251103045015x14320242132151103045015x10242131251103045015x14320242132151103045015x1242131251103045015x14320242132151103045015x142131251103045015x14320242132151103045015x12131251103045015x14320242132151103045015x131251103045015x14320242132151103045015x1251103045015x105521235412453253425432x105512235412453253425432x105521235412453253425432x15512235412453253425432x105521235412453253425432x1512235412453253425432x105521235412453253425432x12235412453253425432x1332535410331110145120205051x1332535410313110145120205051x1332535410331110145120205051x132535410313110145120205051x1332535410331110145120205051x12535410313110145120205051x1332535410331110145120205051x1535410313110145120205051x1332535410331110145120205051x135410313110145120205051x1332535410331110145120205051x15410313110145120205051x1332535410331110145120205051x1410313110145120205051x1332535410331110145120205051x10313110145120205051x1332535410331110145120205051x1313110145120205051x1332535410331110145120205051x13110145120205051x1222333110534254104042401054x1222331310534254104042401054x1222333110534254104042401054x122331310534254104042401054x1222333110534254104042401054x12331310534254104042401054x1222333110534254104042401054x1331310534254104042401054x1222333110534254104042401054x131310534254104042401054x1222333110534254104042401054x1310534254104042401054x12144111412415051145231310401x12144111412415051145231314001x12144111412415051145231310401x144111412415051145231314001x12144111412415051145231310401x14111412415051145231314001x12144111412415051145231310401x1412415051145231314001x12144111412415051145231310401x12415051145231314001x12144111412415051145231310401x1415051145231314001x12144111412415051145231310401x15051145231314001x12144111412415051145231310401x1051145231314001x12144111412415051145231310401x151145231314001x12144111412415051145231310401x15231314001x12144111412415051145231310401x1231314001x12144111412415051145231310401x131314001x12144111412415051145231310401x1314001x12144111412415051145231310401x1001x14405455021214051303024311424x14405545021214051303024311424x14405455021214051303024311424x105545021214051303024311424x14405455021214051303024311424x15545021214051303024311424x14405455021214051303024311424x1545021214051303024311424x130405252240144303121254210233x130405225240144303121254210233x130405252240144303121254210233x10405225240144303121254210233x130405252240144303121254210233x105225240144303121254210233x130405252240144303121254210233x15225240144303121254210233x130405252240144303121254210233x1225240144303121254210233x130405252240144303121254210233x125240144303121254210233x130405252240144303121254210233x15240144303121254210233x1505442224032310020433400020304x1505442242032310020433400020304x1505442224032310020433400020304x105442242032310020433400020304x1505442224032310020433400020304x15442242032310020433400020304x1505442224032310020433400020304x1442242032310020433400020304x1505442224032310020433400020304x142242032310020433400020304x1505442224032310020433400020304x12242032310020433400020304x1505442224032310020433400020304x1242032310020433400020304x1505442224032310020433400020304x12032310020433400020304x1304155354400114040055310244554x1304155354400114040055310424554x1304155354400114040055310244554x104155354400114040055310424554x1304155354400114040055310244554x14155354400114040055310424554x1304155354400114040055310244554x1155354400114040055310424554x1304155354400114040055310244554x155354400114040055310424554x1304155354400114040055310244554x15354400114040055310424554x1304155354400114040055310244554x1354400114040055310424554x1304155354400114040055310244554x154400114040055310424554x1304155354400114040055310244554x14400114040055310424554x1304155354400114040055310244554x100114040055310424554x1304155354400114040055310244554x10114040055310424554x1304155354400114040055310244554x1040055310424554x1304155354400114040055310244554x10055310424554x1304155354400114040055310244554x1055310424554x1304155354400114040055310244554x155310424554x1304155354400114040055310244554x15310424554x1304155354400114040055310244554x1310424554x1304155354400114040055310244554x10424554x1304155354400114040055310244554x1424554x1304155354400114040055310244554x124554x1131111311112111111101111211141111111011141115111151111332110x1323110x132130244x132130424x135241054x151432054x1035052010x1012005530x1035052010x12005530x1522332011x1520232311x1412221432x1412214232x1412221432x12214232x1412221432x1214232x1412221432x14232x1412221432x1232x1021411355x1024111355x1021411355x124111355x1021411355x14111355x120530545300x120355045300x104040250050x104004250050x144503011552x144050311552x125214034243x125214034423x125214034243x15214034423x1542351345131x1543251345131x1020024300243x1022400234003x1020024300243x122400234003x1020024300243x12400234003x11325252304220x11325225304220x11325252304220x1325225304220x10341552302334x10341552032334x10341552302334x1341552032334x135053021102152x135053201102152x131320445244554x131324045244554x1233321213214132x1233312213214132x1233321213214132x133312213214132x133024442201111302x133204442201111302x105303115404125013x105301315404125013x105303115404125013x15301315404125013x121331134351222224x121331143351222224x121331134351222224x1331143351222224x1351444410021100143x1351444410021110043x1152132252422431055x1152132254222431055x1152132252422431055x152132254222431055x13443412144411442520x13443142144411442520x10022125150231240430x10022121550231240430x130540445504305545204x130540445503405545204x133503545340001150314x133503554340001150314x1423004000050551511401x1423004000050551151401x1423004000050551511401x123004000050551151401x1423004000050551511401x13004000050551151401x1314000254424445413404x1314000254424444513404x14100354024125215013441x14100345024125215013441x13114012253132554511352x13114021253132554511352x14320242132151103045015x14320242131251103045015x14320242132151103045015x1320242131251103045015x105521235412453253425432x105512235412453253425432x105521235412453253425432x15512235412453253425432x1332535410331110145120205051x1332535410313110145120205051x1222333110534254104042401054x1222331310534254104042401054x1222333110534254104042401054x122331310534254104042401054x1222333110534254104042401054x12331310534254104042401054x1222333110534254104042401054x1331310534254104042401054x12144111412415051145231310401x12144111412415051145231314001x12144111412415051145231310401x144111412415051145231314001x12144111412415051145231310401x14111412415051145231314001x12144111412415051145231310401x1412415051145231314001x12144111412415051145231310401x12415051145231314001x12144111412415051145231310401x1415051145231314001x12144111412415051145231310401x15051145231314001x14405455021214051303024311424x14405545021214051303024311424x130405252240144303121254210233x130405225240144303121254210233x1505442224032310020433400020304x1505442242032310020433400020304x1304155354400114040055310244554x1304155354400114040055310424554x1021411355x1024111355x1035052010x1012005530x104040250050x104004250050x1020024300243x1022400234003x10341552302334x10341552032334x105303115404125013x105301315404125013x10022125150231240430x10022121550231240430x105521235412453253425432x105512235412453253425432x1true101112111111141131151101111021411355x1024111355x1035052010x1012005530x104040250050x104004250050x10341552302334x10341552032334x105303115404125013x105301315404125013x10022125150231240430x10022121550231240430x105521235412453253425432x105512235412453253425432x110111211111104111311115111101111021411355x1024111355x104040250050x104004250050x10341552302334x10341552032334x10022125150231240430x10022121550231240430x1101112111111141113111151111011021411355x1024111355x104040250050x104004250050x10022125150231240430x10022121550231240430x110111211111141031051001004040250050x104004250050x10022125150231240430x10022121550231240430x1131112111111110111411151321013104040250050x104004250050x1332110x1323110x132130244x132130424x135241054x151432054x1522332011x1520232311x1412221432x1412214232x1021411355x1024111355x120530545300x120355045300x104040250050x104004250050x144503011552x144050311552x125214034243x125214034423x1134115212121x1121324151121x1542351345131x1543251345131x1020024300243x1022400234003x11325252304220x11325225304220x10341552302334x10341552032334x135053021102152x135053201102152x131320445244554x131324045244554x1233321213214132x1233312213214132x133024442201111302x133204442201111302x105303115404125013x105301315404125013x121331134351222224x121331143351222224x1351444410021100143x1351444410021110043x1152132252422431055x1152132254222431055x13443412144411442520x13443142144411442520x130540445504305545204x130540445503405545204x133503545340001150314x133503554340001150314x1314000254424445413404x1314000254424444513404x14100354024125215013441x14100345024125215013441x13114012253132554511352x13114021253132554511352x14320242132151103045015x14320242131251103045015x105521235412453253425432x105512235412453253425432x1332535410331110145120205051x1332535410313110145120205051x1222333110534254104042401054x1222331310534254104042401054x12144111412415051145231310401x12144111412415051145231314001x14405455021214051303024311424x14405545021214051303024311424x130405252240144303121254210233x130405225240144303121254210233x1505442224032310020433400020304x1505442242032310020433400020304x1304155354400114040055310244554x1304155354400114040055310424554x113121211111221012141115121012104040250050x104004250050x1332110x1323110x132130244x132130424x1522332011x1520232311x1412221432x1412214232x1021411355x1024111355x120530545300x120355045300x104040250050x104004250050x144503011552x144050311552x125214034243x125214034423x1542351345131x1543251345131x1020024300243x1022400234003x11325252304220x11325225304220x10341552302334x10341552032334x135053021102152x135053201102152x131320445244554x131324045244554x1233321213214132x1233312213214132x133024442201111302x133204442201111302x121331134351222224x121331143351222224x1152132252422431055x1152132254222431055x13443412144411442520x13443142144411442520x130540445504305545204x130540445503405545204x133503545340001150314x133503554340001150314x1314000254424445413404x1314000254424444513404x14100354024125215013441x14100345024125215013441x13114012253132554511352x13114021253132554511352x14320242132151103045015x14320242131251103045015x105521235412453253425432x105512235412453253425432x12144111412415051145231310401x12144111412415051145231314001x14405455021214051303024311424x14405545021214051303024311424x130405252240144303121254210233x130405225240144303121254210233x1505442224032310020433400020304x1505442242032310020433400020304x1304155354400114040055310244554x1304155354400114040055310424554x1131121211211111011141115121012104040250050x104004250050x1332110x1323110x132130244x132130424x1522332011x1520232311x1412221432x1412214232x1021411355x1024111355x104040250050x104004250050x144503011552x144050311552x125214034243x125214034423x1542351345131x1543251345131x1020024300243x1022400234003x10341552302334x10341552032334x135053021102152x135053201102152x131320445244554x131324045244554x1233321213214132x1233312213214132x133024442201111302x133204442201111302x121331134351222224x121331143351222224x1152132252422431055x1152132254222431055x13443412144411442520x13443142144411442520x130540445504305545204x130540445503405545204x133503545340001150314x133503554340001150314x1314000254424445413404x1314000254424444513404x14100354024125215013441x14100345024125215013441x13114012253132554511352x13114021253132554511352x14320242132151103045015x14320242131251103045015x105521235412453253425432x105512235412453253425432x12144111412415051145231310401x12144111412415051145231314001x14405455021214051303024311424x14405545021214051303024311424x1505442224032310020433400020304x1505442242032310020433400020304x1304155354400114040055310244554x1304155354400114040055310424554x113122121221112210122141115121012104040250050x104004250050x1332110x1323110x132130244x132130424x1522332011x1520232311x1412221432x1412214232x1021411355x1024111355x104040250050x104004250050x125214034243x125214034423x1542351345131x1543251345131x1020024300243x1022400234003x10341552302334x10341552032334x135053021102152x135053201102152x131320445244554x131324045244554x1233321213214132x1233312213214132x133024442201111302x133204442201111302x121331134351222224x121331143351222224x1152132252422431055x1152132254222431055x13443412144411442520x13443142144411442520x130540445504305545204x130540445503405545204x133503545340001150314x133503554340001150314x1314000254424445413404x1314000254424444513404x14100354024125215013441x14100345024125215013441x13114012253132554511352x13114021253132554511352x14320242132151103045015x14320242131251103045015x105521235412453253425432x105512235412453253425432x12144111412415051145231310401x12144111412415051145231314001x14405455021214051303024311424x14405545021214051303024311424x1505442224032310020433400020304x1505442242032310020433400020304x1304155354400114040055310244554x1304155354400114040055310424554x113121211111210122141115121012104040250050x104004250050x1332110x1323110x132130244x132130424x1412221432x1412214232x1021411355x1024111355x104040250050x104004250050x125214034243x125214034423x1542351345131x1543251345131x1020024300243x1022400234003x135053021102152x135053201102152x131320445244554x131324045244554x1233321213214132x1233312213214132x133024442201111302x133204442201111302x121331134351222224x121331143351222224x1152132252422431055x1152132254222431055x13443412144411442520x13443142144411442520x130540445504305545204x130540445503405545204x133503545340001150314x133503554340001150314x1314000254424445413404x1314000254424444513404x14100354024125215013441x14100345024125215013441x13114012253132554511352x13114021253132554511352x14320242132151103045015x14320242131251103045015x105521235412453253425432x105512235412453253425432x12144111412415051145231310401x12144111412415051145231314001x14405455021214051303024311424x14405545021214051303024311424x1505442224032310020433400020304x1505442242032310020433400020304x1304155354400114040055310244554x1304155354400114040055310424554x1131112122111221012141115121012104040250050x104004250050x1332110x1323110x132130244x132130424x1412221432x1412214232x1021411355x1024111355x104040250050x104004250050x125214034243x125214034423x1542351345131x1543251345131x131320445244554x131324045244554x1233321213214132x1233312213214132x121331134351222224x121331143351222224x1152132252422431055x1152132254222431055x13443412144411442520x13443142144411442520x130540445504305545204x130540445503405545204x133503545340001150314x133503554340001150314x1314000254424445413404x1314000254424444513404x14100354024125215013441x14100345024125215013441x13114012253132554511352x13114021253132554511352x14320242132151103045015x14320242131251103045015x105521235412453253425432x105512235412453253425432x12144111412415051145231310401x12144111412415051145231314001x14405455021214051303024311424x14405545021214051303024311424x1505442224032310020433400020304x1505442242032310020433400020304x1304155354400114040055310244554x1304155354400114040055310424554x113111212111110111411215111011104040250050x104004250050x1332110x1323110x1021411355x1024111355x104040250050x104004250050x1542351345131x1543251345131x131320445244554x131324045244554x1233321213214132x1233312213214132x121331134351222224x121331143351222224x13443412144411442520x13443142144411442520x130540445504305545204x130540445503405545204x133503545340001150314x133503554340001150314x1314000254424445413404x1314000254424444513404x14100354024125215013441x14100345024125215013441x13114012253132554511352x13114021253132554511352x14320242132151103045015x14320242131251103045015x105521235412453253425432x105512235412453253425432x12144111412415051145231310401x12144111412415051145231314001x14405455021214051303024311424x14405545021214051303024311424x110121412101211210510110310021411355x1024111355x104040250050x104004250050x105521235412453253425432x105512235412453253425432x1233321213214132x1233312213214132x121331134351222224x121331143351222224x12144111412415051145231310401x12144111412415051145231314001x14100354024125215013441x14100345024125215013441x14320242132151103045015x14320242131251103045015x14405455021214051303024311424x14405545021214051303024311424x1035052010x12005530x1false021411355x14111355x1false021411355x124111355x1false020024300243x122400234003x1false020024300243x12400234003x1false152132252422431055x1152132254222431055x11325252304220x11325225304220x1true13111212211122101114111511211131152132252422431055x1152132254222431055x1332110x1323110x132130244x132130424x135241054x151432054x1522332011x1520232311x1412221432x1412214232x1021411355x1024111355x120530545300x120355045300x104040250050x104004250050x144503011552x144050311552x125214034243x125214034423x1542351345131x1543251345131x1020024300243x1022400234003x10341552302334x10341552032334x135053021102152x135053201102152x131320445244554x131324045244554x1233321213214132x1233312213214132x133024442201111302x133204442201111302x105303115404125013x105301315404125013x121331134351222224x121331143351222224x1351444410021100143x1351444410021110043x1152132252422431055x1152132254222431055x13443412144411442520x13443142144411442520x130540445504305545204x130540445503405545204x133503545340001150314x133503554340001150314x1314000254424445413404x1314000254424444513404x14100354024125215013441x14100345024125215013441x13114012253132554511352x13114021253132554511352x14320242132151103045015x14320242131251103045015x105521235412453253425432x105512235412453253425432x1332535410331110145120205051x1332535410313110145120205051x1222333110534254104042401054x1222331310534254104042401054x12144111412415051145231310401x12144111412415051145231314001x14405455021214051303024311424x14405545021214051303024311424x1505442224032310020433400020304x1505442242032310020433400020304x1304155354400114040055310244554x1304155354400114040055310424554x111111511121111111113111411011120530545300x120355045300x125214034243x125214034423x1233321213214132x1233312213214132x121331134351222224x121331143351222224x1222333110534254104042401054x1222331310534254104042401054x1222333110534254104042401054x122331310534254104042401054x1222333110534254104042401054x12331310534254104042401054x12144111412415051145231310401x12144111412415051145231314001x12144111412415051145231310401x144111412415051145231314001x1412221432x1412214232x1412221432x12214232x12144111412415051145231310401x14111412415051145231314001x1412221432x1214232x12144111412415051145231310401x1412415051145231314001x1412221432x14232x1412221432x1232x12144111412415051145231310401x12415051145231314001x12144111412415051145231310401x1415051145231314001x144503011552x144050311552x1423004000050551511401x1423004000050551151401x1423004000050551511401x123004000050551151401x14100354024125215013441x14100345024125215013441x14320242132151103045015x14320242131251103045015x14405455021214051303024311424x14405545021214051303024311424x1true1211010510311410211111411120530545300x120355045300x125214034243x125214034423x1233321213214132x1233312213214132x121331134351222224x121331143351222224x1222333110534254104042401054x1222331310534254104042401054x1222333110534254104042401054x122331310534254104042401054x1222333110534254104042401054x12331310534254104042401054x12144111412415051145231310401x12144111412415051145231314001x1412221432x1412214232x1412221432x12214232x12144111412415051145231310401x14111412415051145231314001x1412221432x1214232x12144111412415051145231310401x1412415051145231314001x1412221432x14232x1412221432x1232x12144111412415051145231310401x12415051145231314001x12144111412415051145231310401x1415051145231314001x144503011552x144050311552x1423004000050551511401x1423004000050551151401x1423004000050551511401x123004000050551151401x14100354024125215013441x14100345024125215013441x14320242132151103045015x14320242131251103045015x14405455021214051303024311424x14405545021214051303024311424x132130244x132130424x1332110x1323110x135053021102152x135053201102152x131320445244554x131324045244554x133024442201111302x133204442201111302x1351444410021100143x1351444410021110043x13443412144411442520x13443142144411442520x130540445504305545204x130540445503405545204x133503545340001150314x133503554340001150314x1314000254424445413404x1314000254424444513404x13114012253132554511352x13114021253132554511352x1332535410331110145120205051x1332535410313110145120205051x130405252240144303121254210233x130405225240144303121254210233x1304155354400114040055310244554x1304155354400114040055310424554x135241054x151432054x1542351345131x1543251345131x1522332011x1520232311x1505442224032310020433400020304x1505442242032310020433400020304x144503011552x144050311552x1412221432x1412214232x1423004000050551511401x1423004000050551151401x14100354024125215013441x14100345024125215013441x14320242132151103045015x14320242131251103045015x14405455021214051303024311424x14405545021214051303024311424x125214034243x125214034423x120530545300x120355045300x1233321213214132x1233312213214132x121331134351222224x121331143351222224x1222333110534254104042401054x1222331310534254104042401054x12144111412415051145231310401x12144111412415051145231314001x11325252304220x11325225304220x1134115212121x1121324151121x1152132252422431055x1152132254222431055x112100105113114111210110411120530545300x120355045300x125214034243x125214034423x1233321213214132x1233312213214132x121331134351222224x121331143351222224x1222333110534254104042401054x1222331310534254104042401054x1222333110534254104042401054x122331310534254104042401054x1222333110534254104042401054x12331310534254104042401054x12144111412415051145231310401x12144111412415051145231314001x1412221432x1412214232x1412221432x12214232x12144111412415051145231310401x14111412415051145231314001x1412221432x1214232x12144111412415051145231310401x1412415051145231314001x1412221432x14232x1412221432x1232x12144111412415051145231310401x12415051145231314001x12144111412415051145231310401x1415051145231314001x1423004000050551511401x1423004000050551151401x1423004000050551511401x123004000050551151401x14100354024125215013441x14100345024125215013441x14320242132151103045015x14320242131251103045015x14405455021214051303024311424x14405545021214051303024311424x1121111011151111311114111211111111411120530545300x120355045300x125214034243x125214034423x1233321213214132x1233312213214132x121331134351222224x121331143351222224x1222333110534254104042401054x1222331310534254104042401054x12144111412415051145231310401x12144111412415051145231314001x1412221432x1412214232x1412221432x12214232x1423004000050551511401x1423004000050551151401x1423004000050551511401x123004000050551151401x14100354024125215013441x14100345024125215013441x14320242132151103045015x14320242131251103045015x14405455021214051303024311424x14405545021214051303024311424x1423004000050551511401x1423004000050551151401x1412221432x1412214232x14100354024125215013441x14100345024125215013441x14320242132151103045015x14320242131251103045015x14405455021214051303024311424x14405545021214051303024311424x1true14111210311101114105111111423004000050551511401x1423004000050551151401x1412221432x1412214232x14320242132151103045015x14320242131251103045015x14405455021214051303024311424x14405545021214051303024311424x1131212111111210111411151214121412221432x1412214232x14320242132151103045015x14320242131251103045015x14405455021214051303024311424x14405545021214051303024311424x1332110x1323110x132130244x132130424x1522332011x1520232311x1412221432x1412214232x1021411355x1024111355x120530545300x120355045300x104040250050x104004250050x144503011552x144050311552x125214034243x125214034423x1542351345131x1543251345131x1020024300243x1022400234003x11325252304220x11325225304220x10341552302334x10341552032334x135053021102152x135053201102152x131320445244554x131324045244554x1233321213214132x1233312213214132x133024442201111302x133204442201111302x121331134351222224x121331143351222224x1351444410021100143x1351444410021110043x1152132252422431055x1152132254222431055x13443412144411442520x13443142144411442520x130540445504305545204x130540445503405545204x133503545340001150314x133503554340001150314x1314000254424445413404x1314000254424444513404x14100354024125215013441x14100345024125215013441x13114012253132554511352x13114021253132554511352x14320242132151103045015x14320242131251103045015x105521235412453253425432x105512235412453253425432x12144111412415051145231310401x12144111412415051145231314001x14405455021214051303024311424x14405545021214051303024311424x130405252240144303121254210233x130405225240144303121254210233x1505442224032310020433400020304x1505442242032310020433400020304x1304155354400114040055310244554x1304155354400114040055310424554x114111111121111411310011115104320242132151103045015x14320242131251103045015x14405455021214051303024311424x14405545021214051303024311424x11311121111111101214111512141114320242132151103045015x14320242131251103045015x14405455021214051303024311424x14405545021214051303024311424x1332110x1323110x132130244x132130424x1522332011x1520232311x1412221432x1412214232x1021411355x1024111355x120530545300x120355045300x104040250050x104004250050x144503011552x144050311552x125214034243x125214034423x1542351345131x1543251345131x1020024300243x1022400234003x11325252304220x11325225304220x10341552302334x10341552032334x135053021102152x135053201102152x131320445244554x131324045244554x1233321213214132x1233312213214132x133024442201111302x133204442201111302x121331134351222224x121331143351222224x1152132252422431055x1152132254222431055x13443412144411442520x13443142144411442520x130540445504305545204x130540445503405545204x133503545340001150314x133503554340001150314x1314000254424445413404x1314000254424444513404x14100354024125215013441x14100345024125215013441x13114012253132554511352x13114021253132554511352x14320242132151103045015x14320242131251103045015x105521235412453253425432x105512235412453253425432x12144111412415051145231310401x12144111412415051145231314001x14405455021214051303024311424x14405545021214051303024311424x130405252240144303121254210233x130405225240144303121254210233x1505442224032310020433400020304x1505442242032310020433400020304x1304155354400114040055310244554x1304155354400114040055310424554x113122121221111101114111512141214320242132151103045015x14320242131251103045015x14405455021214051303024311424x14405545021214051303024311424x1332110x1323110x132130244x132130424x1522332011x1520232311x1412221432x1412214232x1021411355x1024111355x104040250050x104004250050x144503011552x144050311552x125214034243x125214034423x1542351345131x1543251345131x1020024300243x1022400234003x10341552302334x10341552032334x135053021102152x135053201102152x131320445244554x131324045244554x1233321213214132x1233312213214132x133024442201111302x133204442201111302x121331134351222224x121331143351222224x1152132252422431055x1152132254222431055x13443412144411442520x13443142144411442520x130540445504305545204x130540445503405545204x133503545340001150314x133503554340001150314x1314000254424445413404x1314000254424444513404x14100354024125215013441x14100345024125215013441x13114012253132554511352x13114021253132554511352x14320242132151103045015x14320242131251103045015x105521235412453253425432x105512235412453253425432x12144111412415051145231310401x12144111412415051145231314001x14405455021214051303024311424x14405545021214051303024311424x1505442224032310020433400020304x1505442242032310020433400020304x1304155354400114040055310244554x1304155354400114040055310424554x11311121111111012114111512141214320242132151103045015x14320242131251103045015x14405455021214051303024311424x14405545021214051303024311424x1332110x1323110x132130244x132130424x1522332011x1520232311x1412221432x1412214232x1021411355x1024111355x104040250050x104004250050x125214034243x125214034423x1542351345131x1543251345131x1020024300243x1022400234003x10341552302334x10341552032334x135053021102152x135053201102152x131320445244554x131324045244554x1233321213214132x1233312213214132x133024442201111302x133204442201111302x121331134351222224x121331143351222224x1152132252422431055x1152132254222431055x13443412144411442520x13443142144411442520x130540445504305545204x130540445503405545204x133503545340001150314x133503554340001150314x1314000254424445413404x1314000254424444513404x14100354024125215013441x14100345024125215013441x13114012253132554511352x13114021253132554511352x14320242132151103045015x14320242131251103045015x105521235412453253425432x105512235412453253425432x12144111412415051145231310401x12144111412415051145231314001x14405455021214051303024311424x14405545021214051303024311424x1505442224032310020433400020304x1505442242032310020433400020304x1304155354400114040055310244554x1304155354400114040055310424554x11312121111121011114111512141114320242132151103045015x14320242131251103045015x14405455021214051303024311424x14405545021214051303024311424x1332110x1323110x132130244x132130424x1412221432x1412214232x1021411355x1024111355x104040250050x104004250050x125214034243x125214034423x1542351345131x1543251345131x1020024300243x1022400234003x135053021102152x135053201102152x131320445244554x131324045244554x1233321213214132x1233312213214132x133024442201111302x133204442201111302x121331134351222224x121331143351222224x1152132252422431055x1152132254222431055x13443412144411442520x13443142144411442520x130540445504305545204x130540445503405545204x133503545340001150314x133503554340001150314x1314000254424445413404x1314000254424444513404x14100354024125215013441x14100345024125215013441x13114012253132554511352x13114021253132554511352x14320242132151103045015x14320242131251103045015x105521235412453253425432x105512235412453253425432x12144111412415051145231310401x12144111412415051145231314001x14405455021214051303024311424x14405545021214051303024311424x1505442224032310020433400020304x1505442242032310020433400020304x1304155354400114040055310244554x1304155354400114040055310424554x113111212111110111411215112141114320242132151103045015x14320242131251103045015x14405455021214051303024311424x14405545021214051303024311424x1332110x1323110x1021411355x1024111355x104040250050x104004250050x1542351345131x1543251345131x1020024300243x1022400234003x135053021102152x135053201102152x131320445244554x131324045244554x1233321213214132x1233312213214132x133024442201111302x133204442201111302x121331134351222224x121331143351222224x13443412144411442520x13443142144411442520x130540445504305545204x130540445503405545204x133503545340001150314x133503554340001150314x1314000254424445413404x1314000254424444513404x14100354024125215013441x14100345024125215013441x13114012253132554511352x13114021253132554511352x14320242132151103045015x14320242131251103045015x105521235412453253425432x105512235412453253425432x12144111412415051145231310401x12144111412415051145231314001x14405455021214051303024311424x14405545021214051303024311424x14320242132151103045015x14320242131251103045015x1false4405455021214051303024311424x14405545021214051303024311424x1false412221432x12214232x1false423004000050551511401x123004000050551151401x1false25214034243x125214034423x120530545300x120355045300x1233321213214132x1233312213214132x121331134351222224x121331143351222224x1222333110534254104042401054x1222331310534254104042401054x12144111412415051145231310401x12144111412415051145231314001x1true12111511112111110410011131125214034243x125214034423x1233321213214132x1233312213214132x121331134351222224x121331143351222224x1222333110534254104042401054x1222331310534254104042401054x12144111412415051145231310401x12144111412415051145231314001x11211151021011114110103111125214034243x125214034423x1233321213214132x1233312213214132x1222333110534254104042401054x1222331310534254104042401054x12144111412415051145231310401x12144111412415051145231314001x11211151112111111141001113111125214034243x125214034423x12144111412415051145231310401x12144111412415051145231314001x113121211111110111141115111212125214034243x125214034423x12144111412415051145231310401x12144111412415051145231314001x1332110x1323110x132130244x132130424x135241054x151432054x1412221432x1412214232x1021411355x1024111355x120530545300x120355045300x104040250050x104004250050x125214034243x125214034423x1134115212121x1121324151121x1542351345131x1543251345131x1020024300243x1022400234003x11325252304220x11325225304220x135053021102152x135053201102152x131320445244554x131324045244554x1233321213214132x1233312213214132x133024442201111302x133204442201111302x105303115404125013x105301315404125013x121331134351222224x121331143351222224x1351444410021100143x1351444410021110043x1152132252422431055x1152132254222431055x13443412144411442520x13443142144411442520x10022125150231240430x10022121550231240430x130540445504305545204x130540445503405545204x133503545340001150314x133503554340001150314x1423004000050551511401x1423004000050551151401x1314000254424445413404x1314000254424444513404x14100354024125215013441x14100345024125215013441x13114012253132554511352x13114021253132554511352x14320242132151103045015x14320242131251103045015x105521235412453253425432x105512235412453253425432x1332535410331110145120205051x1332535410313110145120205051x1222333110534254104042401054x1222331310534254104042401054x12144111412415051145231310401x12144111412415051145231314001x14405455021214051303024311424x14405545021214051303024311424x130405252240144303121254210233x130405225240144303121254210233x1505442224032310020433400020304x1505442242032310020433400020304x1304155354400114040055310244554x1304155354400114040055310424554x1131121211111221011141115121212125214034243x125214034423x12144111412415051145231310401x12144111412415051145231314001x1332110x1323110x132130244x132130424x1412221432x1412214232x1021411355x1024111355x104040250050x104004250050x125214034243x125214034423x1542351345131x1543251345131x1020024300243x1022400234003x11325252304220x11325225304220x135053021102152x135053201102152x131320445244554x131324045244554x1233321213214132x1233312213214132x133024442201111302x133204442201111302x121331134351222224x121331143351222224x1351444410021100143x1351444410021110043x1152132252422431055x1152132254222431055x13443412144411442520x13443142144411442520x130540445504305545204x130540445503405545204x133503545340001150314x133503554340001150314x1314000254424445413404x1314000254424444513404x14100354024125215013441x14100345024125215013441x13114012253132554511352x13114021253132554511352x14320242132151103045015x14320242131251103045015x105521235412453253425432x105512235412453253425432x12144111412415051145231310401x12144111412415051145231314001x14405455021214051303024311424x14405545021214051303024311424x130405252240144303121254210233x130405225240144303121254210233x1505442224032310020433400020304x1505442242032310020433400020304x1304155354400114040055310244554x1304155354400114040055310424554x11311212112111121012141115121211125214034243x125214034423x12144111412415051145231310401x12144111412415051145231314001x1332110x1323110x132130244x132130424x1412221432x1412214232x1021411355x1024111355x104040250050x104004250050x125214034243x125214034423x1542351345131x1543251345131x131320445244554x131324045244554x1233321213214132x1233312213214132x121331134351222224x121331143351222224x1152132252422431055x1152132254222431055x13443412144411442520x13443142144411442520x130540445504305545204x130540445503405545204x133503545340001150314x133503554340001150314x1314000254424445413404x1314000254424444513404x14100354024125215013441x14100345024125215013441x13114012253132554511352x13114021253132554511352x14320242132151103045015x14320242131251103045015x105521235412453253425432x105512235412453253425432x12144111412415051145231310401x12144111412415051145231314001x14405455021214051303024311424x14405545021214051303024311424x1505442224032310020433400020304x1505442242032310020433400020304x1304155354400114040055310244554x1304155354400114040055310424554x11311121121111101221412215122121212144111412415051145231310401x12144111412415051145231314001x1332110x1323110x1021411355x1024111355x104040250050x104004250050x1542351345131x1543251345131x131320445244554x131324045244554x1233321213214132x1233312213214132x121331134351222224x121331143351222224x13443412144411442520x13443142144411442520x130540445504305545204x130540445503405545204x133503545340001150314x133503554340001150314x1314000254424445413404x1314000254424444513404x14100354024125215013441x14100345024125215013441x13114012253132554511352x13114021253132554511352x14320242132151103045015x14320242131251103045015x105521235412453253425432x105512235412453253425432x12144111412415051145231310401x12144111412415051145231314001x14405455021214051303024311424x14405545021214051303024311424x1201212111214112121115111012131211325252304220x1325225304220x1false0341552302334x1341552032334x1false233321213214132x133312213214132x1false21331134351222224x1331143351222224x1false423004000050551511401x13004000050551151401x1false4320242132151103045015x1320242131251103045015x1false222333110534254104042401054x1331310534254104042401054x1false32130244x132130424x1332110x1323110x135053021102152x135053201102152x131320445244554x131324045244554x133024442201111302x133204442201111302x1351444410021100143x1351444410021110043x13443412144411442520x13443142144411442520x130540445504305545204x130540445503405545204x133503545340001150314x133503554340001150314x1314000254424445413404x1314000254424444513404x13114012253132554511352x13114021253132554511352x1332535410331110145120205051x1332535410313110145120205051x130405252240144303121254210233x130405225240144303121254210233x1304155354400114040055310244554x1304155354400114040055310424554x1true1311121011113111101111410511132130244x132130424x131320445244554x131324045244554x1351444410021100143x1351444410021110043x13443412144411442520x13443142144411442520x130540445504305545204x130540445503405545204x133503545340001150314x133503554340001150314x1314000254424445413404x1314000254424444513404x13114012253132554511352x13114021253132554511352x1332535410331110145120205051x1332535410313110145120205051x130405252240144303121254210233x130405225240144303121254210233x1304155354400114040055310244554x1304155354400114040055310424554x11311121111111311101111411511132130244x132130424x1351444410021100143x1351444410021110043x13443412144411442520x13443142144411442520x130540445504305545204x130540445503405545204x133503545340001150314x133503554340001150314x1314000254424445413404x1314000254424444513404x13114012253132554511352x13114021253132554511352x1332535410331110145120205051x1332535410313110145120205051x130405252240144303121254210233x130405225240144303121254210233x1304155354400114040055310244554x1304155354400114040055310424554x113111210111311110104111151032130244x132130424x1351444410021100143x1351444410021110043x130540445504305545204x130540445503405545204x133503545340001150314x133503554340001150314x1314000254424445413404x1314000254424444513404x13114012253132554511352x13114021253132554511352x1332535410331110145120205051x1332535410313110145120205051x130405252240144303121254210233x130405225240144303121254210233x1304155354400114040055310244554x1304155354400114040055310424554x113111210110310011141111511132130244x132130424x1351444410021100143x1351444410021110043x133503545340001150314x133503554340001150314x1314000254424445413404x1314000254424444513404x13114012253132554511352x13114021253132554511352x1332535410331110145120205051x1332535410313110145120205051x130405252240144303121254210233x130405225240144303121254210233x1304155354400114040055310244554x1304155354400114040055310424554x113111210111113110111411151032130244x132130424x1351444410021100143x1351444410021110043x133503545340001150314x133503554340001150314x1314000254424445413404x1314000254424444513404x1332535410331110145120205051x1332535410313110145120205051x130405252240144303121254210233x130405225240144303121254210233x1304155354400114040055310244554x1304155354400114040055310424554x113121211111121011141115121311132130244x132130424x1351444410021100143x1351444410021110043x133503545340001150314x133503554340001150314x1314000254424445413404x1314000254424444513404x130405252240144303121254210233x130405225240144303121254210233x1304155354400114040055310244554x1304155354400114040055310424554x1332110x1323110x132130244x132130424x1522332011x1520232311x1412221432x1412214232x1021411355x1024111355x120530545300x120355045300x104040250050x104004250050x144503011552x144050311552x125214034243x125214034423x1542351345131x1543251345131x1020024300243x1022400234003x11325252304220x11325225304220x10341552302334x10341552032334x135053021102152x135053201102152x131320445244554x131324045244554x1233321213214132x1233312213214132x133024442201111302x133204442201111302x121331134351222224x121331143351222224x1351444410021100143x1351444410021110043x1152132252422431055x1152132254222431055x13443412144411442520x13443142144411442520x130540445504305545204x130540445503405545204x133503545340001150314x133503554340001150314x1314000254424445413404x1314000254424444513404x14100354024125215013441x14100345024125215013441x13114012253132554511352x13114021253132554511352x14320242132151103045015x14320242131251103045015x105521235412453253425432x105512235412453253425432x12144111412415051145231310401x12144111412415051145231314001x14405455021214051303024311424x14405545021214051303024311424x130405252240144303121254210233x130405225240144303121254210233x1505442224032310020433400020304x1505442242032310020433400020304x1304155354400114040055310244554x1304155354400114040055310424554x11311121111111131110111411510351444410021100143x1351444410021110043x133503545340001150314x133503554340001150314x1314000254424445413404x1314000254424444513404x130405252240144303121254210233x130405225240144303121254210233x1304155354400114040055310244554x1304155354400114040055310424554x113112121121111210111411151213121351444410021100143x1351444410021110043x133503545340001150314x133503554340001150314x1314000254424445413404x1314000254424444513404x1304155354400114040055310244554x1304155354400114040055310424554x1332110x1323110x132130244x132130424x1522332011x1520232311x1412221432x1412214232x1021411355x1024111355x104040250050x104004250050x144503011552x144050311552x125214034243x125214034423x1542351345131x1543251345131x1020024300243x1022400234003x10341552302334x10341552032334x135053021102152x135053201102152x131320445244554x131324045244554x1233321213214132x1233312213214132x133024442201111302x133204442201111302x121331134351222224x121331143351222224x1351444410021100143x1351444410021110043x1152132252422431055x1152132254222431055x13443412144411442520x13443142144411442520x130540445504305545204x130540445503405545204x133503545340001150314x133503554340001150314x1314000254424445413404x1314000254424444513404x14100354024125215013441x14100345024125215013441x13114012253132554511352x13114021253132554511352x14320242132151103045015x14320242131251103045015x105521235412453253425432x105512235412453253425432x12144111412415051145231310401x12144111412415051145231314001x14405455021214051303024311424x14405545021214051303024311424x1505442224032310020433400020304x1505442242032310020433400020304x1304155354400114040055310244554x1304155354400114040055310424554x1131221212211122101221411151213121351444410021100143x1351444410021110043x133503545340001150314x133503554340001150314x1314000254424445413404x1314000254424444513404x1304155354400114040055310244554x1304155354400114040055310424554x1332110x1323110x132130244x132130424x1522332011x1520232311x1412221432x1412214232x1021411355x1024111355x104040250050x104004250050x125214034243x125214034423x1542351345131x1543251345131x1020024300243x1022400234003x10341552302334x10341552032334x135053021102152x135053201102152x131320445244554x131324045244554x1233321213214132x1233312213214132x133024442201111302x133204442201111302x121331134351222224x121331143351222224x1351444410021100143x1351444410021110043x1152132252422431055x1152132254222431055x13443412144411442520x13443142144411442520x130540445504305545204x130540445503405545204x133503545340001150314x133503554340001150314x1314000254424445413404x1314000254424444513404x14100354024125215013441x14100345024125215013441x13114012253132554511352x13114021253132554511352x14320242132151103045015x14320242131251103045015x105521235412453253425432x105512235412453253425432x12144111412415051145231310401x12144111412415051145231314001x14405455021214051303024311424x14405545021214051303024311424x1505442224032310020433400020304x1505442242032310020433400020304x1304155354400114040055310244554x1304155354400114040055310424554x11311121211111011141221512213131351444410021100143x1351444410021110043x133503545340001150314x133503554340001150314x1314000254424445413404x1314000254424444513404x1332110x1323110x1522332011x1520232311x1021411355x1024111355x104040250050x104004250050x1542351345131x1543251345131x1020024300243x1022400234003x10341552302334x10341552032334x135053021102152x135053201102152x131320445244554x131324045244554x1233321213214132x1233312213214132x133024442201111302x133204442201111302x121331134351222224x121331143351222224x1351444410021100143x1351444410021110043x13443412144411442520x13443142144411442520x130540445504305545204x130540445503405545204x133503545340001150314x133503554340001150314x1314000254424445413404x1314000254424444513404x14100354024125215013441x14100345024125215013441x13114012253132554511352x13114021253132554511352x14320242132151103045015x14320242131251103045015x105521235412453253425432x105512235412453253425432x12144111412415051145231310401x12144111412415051145231314001x14405455021214051303024311424x14405545021214051303024311424x1351444410021100143x1351444410021110043x1false33503545340001150314x133503554340001150314x1false314000254424445413404x1314000254424444513404x1false35241054x151432054x1false25214034243x15214034423x1false05303115404125013x15301315404125013x1false152132252422431055x152132254222431055x1false05521235412453253425432x15512235412453253425432x1false2144111412415051145231310401x15051145231314001x1false542351345131x1543251345131x1522332011x1520232311x1505442224032310020433400020304x1505442242032310020433400020304x1true15111410211113105111110010542351345131x1543251345131x1505442224032310020433400020304x1505442242032310020433400020304x115111411121111311511110010505442224032310020433400020304x1505442242032310020433400020304x11312121111111011214111513315111505442224032310020433400020304x1505442242032310020433400020304x1332110x1323110x132130244x132130424x1412221432x1412214232x1021411355x1024111355x104040250050x104004250050x125214034243x125214034423x1134115212121x1121324151121x1542351345131x1543251345131x1020024300243x1022400234003x11325252304220x11325225304220x135053021102152x135053201102152x131320445244554x131324045244554x1233321213214132x1233312213214132x133024442201111302x133204442201111302x105303115404125013x105301315404125013x121331134351222224x121331143351222224x1351444410021100143x1351444410021110043x1152132252422431055x1152132254222431055x13443412144411442520x13443142144411442520x10022125150231240430x10022121550231240430x130540445504305545204x130540445503405545204x133503545340001150314x133503554340001150314x1423004000050551511401x1423004000050551151401x1314000254424445413404x1314000254424444513404x14100354024125215013441x14100345024125215013441x13114012253132554511352x13114021253132554511352x14320242132151103045015x14320242131251103045015x105521235412453253425432x105512235412453253425432x1332535410331110145120205051x1332535410313110145120205051x1222333110534254104042401054x1222331310534254104042401054x12144111412415051145231310401x12144111412415051145231314001x14405455021214051303024311424x14405545021214051303024311424x130405252240144303121254210233x130405225240144303121254210233x1505442224032310020433400020304x1505442242032310020433400020304x1304155354400114040055310244554x1304155354400114040055310424554x113122121111111101121411151115121505442224032310020433400020304x1505442242032310020433400020304x1332110x1323110x132130244x132130424x1412221432x1412214232x1021411355x1024111355x104040250050x104004250050x125214034243x125214034423x1542351345131x1543251345131x1020024300243x1022400234003x11325252304220x11325225304220x135053021102152x135053201102152x131320445244554x131324045244554x1233321213214132x1233312213214132x133024442201111302x133204442201111302x121331134351222224x121331143351222224x1152132252422431055x1152132254222431055x13443412144411442520x13443142144411442520x10022125150231240430x10022121550231240430x130540445504305545204x130540445503405545204x133503545340001150314x133503554340001150314x1423004000050551511401x1423004000050551151401x1314000254424445413404x1314000254424444513404x14100354024125215013441x14100345024125215013441x13114012253132554511352x13114021253132554511352x14320242132151103045015x14320242131251103045015x105521235412453253425432x105512235412453253425432x12144111412415051145231310401x12144111412415051145231314001x14405455021214051303024311424x14405545021214051303024311424x130405252240144303121254210233x130405225240144303121254210233x1505442224032310020433400020304x1505442242032310020433400020304x1304155354400114040055310244554x1304155354400114040055310424554x113112121121111210121411151315111505442224032310020433400020304x1505442242032310020433400020304x1332110x1323110x132130244x132130424x1412221432x1412214232x1021411355x1024111355x104040250050x104004250050x125214034243x125214034423x1542351345131x1543251345131x131320445244554x131324045244554x1233321213214132x1233312213214132x121331134351222224x121331143351222224x1152132252422431055x1152132254222431055x13443412144411442520x13443142144411442520x130540445504305545204x130540445503405545204x133503545340001150314x133503554340001150314x1314000254424445413404x1314000254424444513404x14100354024125215013441x14100345024125215013441x13114012253132554511352x13114021253132554511352x14320242132151103045015x14320242131251103045015x105521235412453253425432x105512235412453253425432x12144111412415051145231310401x12144111412415051145231314001x14405455021214051303024311424x14405545021214051303024311424x1505442224032310020433400020304x1505442242032310020433400020304x1304155354400114040055310244554x1304155354400114040055310424554x113111212111110112141121511215111332110x1323110x1021411355x1024111355x104040250050x104004250050x1542351345131x1543251345131x131320445244554x131324045244554x1233321213214132x1233312213214132x121331134351222224x121331143351222224x13443412144411442520x13443142144411442520x130540445504305545204x130540445503405545204x133503545340001150314x133503554340001150314x1314000254424445413404x1314000254424444513404x14100354024125215013441x14100345024125215013441x13114012253132554511352x13114021253132554511352x14320242132151103045015x14320242131251103045015x105521235412453253425432x105512235412453253425432x12144111412415051145231310401x12144111412415051145231314001x14405455021214051303024311424x14405545021214051303024311424x1AProVEAProVE Commit ID: c69e44bd14796315568835c1ffa2502984884775 mhark 20210624 unpublished Statistics for single proof: 100.00 % (68 real / 0 unknown / 0 assumptions / 68 total proof steps)http://aprove.informatik.rwth-aachen.deJohnDoe