/export/starexec/sandbox2/solver/bin/starexec_run_ttt2_cert /export/starexec/sandbox2/benchmark/theBenchmark.xml /export/starexec/sandbox2/output/output_files -------------------------------------------------------------------------------- YES 012122x1034352x1401030x1250550x12130335x12522552x13300052x15331252x13330110x15330210x14023141x1143254x1415005213x1450352223x15251503042x13325133502x121422030105x12254241431x133013421121x152443535511x1532350402345x135211521054x15235500034025x1555243511250x15534324052122x1554401013142x1145150111032331x111323435443531x1335321233100233x1352113302212033x13334054432142002x13512535453114223x15025513252044041x1511002221343254x1354143055025143153x1340500104043450231x1453325513515002551x14552230330413111x10053205133520253445x1005355013501313424x12512232321420551033x1230450431320412413x132133151202041425515x15101311420023253512x132142110401223135145x132550542252101503352x1042450444021153151150x1210034034531421533550x1112230312335420130023x1333104521245550353440x12.1012345012122x1034352x10401030x10250550x11401030x11250550x12401030x12250550x13401030x13250550x14401030x14250550x15401030x15250550x12130335x12522552x103300052x105331252x113300052x115331252x123300052x125331252x133300052x135331252x143300052x145331252x153300052x155331252x103330110x105330210x113330110x115330210x123330110x125330210x133330110x135330210x143330110x145330210x153330110x155330210x104023141x10143254x114023141x11143254x124023141x12143254x134023141x13143254x144023141x14143254x154023141x15143254x1415005213x1450352223x105251503042x103325133502x115251503042x113325133502x125251503042x123325133502x135251503042x133325133502x145251503042x143325133502x155251503042x153325133502x121422030105x12254241431x1033013421121x1052443535511x1133013421121x1152443535511x1233013421121x1252443535511x1333013421121x1352443535511x1433013421121x1452443535511x1533013421121x1552443535511x10532350402345x1035211521054x11532350402345x1135211521054x12532350402345x1235211521054x13532350402345x1335211521054x14532350402345x1435211521054x15532350402345x1535211521054x15235500034025x1555243511250x15534324052122x1554401013142x1145150111032331x111323435443531x1335321233100233x1352113302212033x13334054432142002x13512535453114223x15025513252044041x1511002221343254x1354143055025143153x1340500104043450231x1453325513515002551x14552230330413111x10053205133520253445x1005355013501313424x12512232321420551033x1230450431320412413x1032133151202041425515x105101311420023253512x1132133151202041425515x115101311420023253512x1232133151202041425515x125101311420023253512x1332133151202041425515x135101311420023253512x1432133151202041425515x145101311420023253512x1532133151202041425515x155101311420023253512x132142110401223135145x132550542252101503352x10042450444021153151150x10210034034531421533550x11042450444021153151150x11210034034531421533550x12042450444021153151150x12210034034531421533550x13042450444021153151150x13210034034531421533550x14042450444021153151150x14210034034531421533550x15042450444021153151150x15210034034531421533550x10112230312335420130023x10333104521245550353440x11112230312335420130023x11333104521245550353440x12112230312335420130023x12333104521245550353440x13112230312335420130023x13333104521245550353440x14112230312335420130023x14333104521245550353440x15112230312335420130023x15333104521245550353440x1011221122220x1033443355220x1011221122221x1033443355221x1011221122222x1033443355222x1011221122223x1033443355223x1011221122224x1033443355224x1011221122225x1033443355225x104400110033000x102255005555000x104400110033001x102255005555001x104400110033002x102255005555002x104400110033003x102255005555003x104400110033004x102255005555004x104400110033005x102255005555005x114400110033000x112255005555000x114400110033001x112255005555001x114400110033002x112255005555002x114400110033003x112255005555003x114400110033004x112255005555004x114400110033005x112255005555005x124400110033000x122255005555000x124400110033001x122255005555001x124400110033002x122255005555002x124400110033003x122255005555003x124400110033004x122255005555004x124400110033005x122255005555005x134400110033000x132255005555000x134400110033001x132255005555001x134400110033002x132255005555002x134400110033003x132255005555003x134400110033004x132255005555004x134400110033005x132255005555005x144400110033000x142255005555000x144400110033001x142255005555001x144400110033002x142255005555002x144400110033003x142255005555003x144400110033004x142255005555004x144400110033005x142255005555005x154400110033000x152255005555000x154400110033001x152255005555001x154400110033002x152255005555002x154400110033003x152255005555003x154400110033004x152255005555004x154400110033005x152255005555005x121133003333550x125522225555220x121133003333551x125522225555221x121133003333552x125522225555222x121133003333553x125522225555223x121133003333554x125522225555224x121133003333555x125522225555225x10333300000055220x10553333112255220x10333300000055221x10553333112255221x10333300000055222x10553333112255222x10333300000055223x10553333112255223x10333300000055224x10553333112255224x10333300000055225x10553333112255225x11333300000055220x11553333112255220x11333300000055221x11553333112255221x11333300000055222x11553333112255222x11333300000055223x11553333112255223x11333300000055224x11553333112255224x11333300000055225x11553333112255225x12333300000055220x12553333112255220x12333300000055221x12553333112255221x12333300000055222x12553333112255222x12333300000055223x12553333112255223x12333300000055224x12553333112255224x12333300000055225x12553333112255225x13333300000055220x13553333112255220x13333300000055221x13553333112255221x13333300000055222x13553333112255222x13333300000055223x13553333112255223x13333300000055224x13553333112255224x13333300000055225x13553333112255225x14333300000055220x14553333112255220x14333300000055221x14553333112255221x14333300000055222x14553333112255222x14333300000055223x14553333112255223x14333300000055224x14553333112255224x14333300000055225x14553333112255225x15333300000055220x15553333112255220x15333300000055221x15553333112255221x15333300000055222x15553333112255222x15333300000055223x15553333112255223x15333300000055224x15553333112255224x15333300000055225x15553333112255225x10333333001111000x10553333002211000x10333333001111001x10553333002211001x10333333001111002x10553333002211002x10333333001111003x10553333002211003x10333333001111004x10553333002211004x10333333001111005x10553333002211005x11333333001111000x11553333002211000x11333333001111001x11553333002211001x11333333001111002x11553333002211002x11333333001111003x11553333002211003x11333333001111004x11553333002211004x11333333001111005x11553333002211005x12333333001111000x12553333002211000x12333333001111001x12553333002211001x12333333001111002x12553333002211002x12333333001111003x12553333002211003x12333333001111004x12553333002211004x12333333001111005x12553333002211005x13333333001111000x13553333002211000x13333333001111001x13553333002211001x13333333001111002x13553333002211002x13333333001111003x13553333002211003x13333333001111004x13553333002211004x13333333001111005x13553333002211005x14333333001111000x14553333002211000x14333333001111001x14553333002211001x14333333001111002x14553333002211002x14333333001111003x14553333002211003x14333333001111004x14553333002211004x14333333001111005x14553333002211005x15333333001111000x15553333002211000x15333333001111001x15553333002211001x15333333001111002x15553333002211002x15333333001111003x15553333002211003x15333333001111004x15553333002211004x15333333001111005x15553333002211005x10440022331144110x101144332255440x10440022331144111x101144332255441x10440022331144112x101144332255442x10440022331144113x101144332255443x10440022331144114x101144332255444x10440022331144115x101144332255445x11440022331144110x111144332255440x11440022331144111x111144332255441x11440022331144112x111144332255442x11440022331144113x111144332255443x11440022331144114x111144332255444x11440022331144115x111144332255445x12440022331144110x121144332255440x12440022331144111x121144332255441x12440022331144112x121144332255442x12440022331144113x121144332255443x12440022331144114x121144332255444x12440022331144115x121144332255445x13440022331144110x131144332255440x13440022331144111x131144332255441x13440022331144112x131144332255442x13440022331144113x131144332255443x13440022331144114x131144332255444x13440022331144115x131144332255445x14440022331144110x141144332255440x14440022331144111x141144332255441x14440022331144112x141144332255442x14440022331144113x141144332255443x14440022331144114x141144332255444x14440022331144115x141144332255445x15440022331144110x151144332255440x15440022331144111x151144332255441x15440022331144112x151144332255442x15440022331144113x151144332255443x15440022331144114x151144332255444x15440022331144115x151144332255445x1411550000552211330x1455003355222222330x1411550000552211331x1455003355222222331x1411550000552211332x1455003355222222332x1411550000552211333x1455003355222222333x1411550000552211334x1455003355222222334x1411550000552211335x1455003355222222335x10552255115500330044220x10333322551133335500220x10552255115500330044221x10333322551133335500221x10552255115500330044222x10333322551133335500222x10552255115500330044223x10333322551133335500223x10552255115500330044224x10333322551133335500224x10552255115500330044225x10333322551133335500225x11552255115500330044220x11333322551133335500220x11552255115500330044221x11333322551133335500221x11552255115500330044222x11333322551133335500222x11552255115500330044223x11333322551133335500223x11552255115500330044224x11333322551133335500224x11552255115500330044225x11333322551133335500225x12552255115500330044220x12333322551133335500220x12552255115500330044221x12333322551133335500221x12552255115500330044222x12333322551133335500222x12552255115500330044223x12333322551133335500223x12552255115500330044224x12333322551133335500224x12552255115500330044225x12333322551133335500225x13552255115500330044220x13333322551133335500220x13552255115500330044221x13333322551133335500221x13552255115500330044222x13333322551133335500222x13552255115500330044223x13333322551133335500223x13552255115500330044224x13333322551133335500224x13552255115500330044225x13333322551133335500225x14552255115500330044220x14333322551133335500220x14552255115500330044221x14333322551133335500221x14552255115500330044222x14333322551133335500222x14552255115500330044223x14333322551133335500223x14552255115500330044224x14333322551133335500224x14552255115500330044225x14333322551133335500225x15552255115500330044220x15333322551133335500220x15552255115500330044221x15333322551133335500221x15552255115500330044222x15333322551133335500222x15552255115500330044223x15333322551133335500223x15552255115500330044224x15333322551133335500224x15552255115500330044225x15333322551133335500225x12114422220033001100550x122255442244114433110x12114422220033001100551x122255442244114433111x12114422220033001100552x122255442244114433112x12114422220033001100553x122255442244114433113x12114422220033001100554x122255442244114433114x12114422220033001100555x122255442244114433115x1033330011334422111122110x1055224444335533555511110x1033330011334422111122111x1055224444335533555511111x1033330011334422111122112x1055224444335533555511112x1033330011334422111122113x1055224444335533555511113x1033330011334422111122114x1055224444335533555511114x1033330011334422111122115x1055224444335533555511115x1133330011334422111122110x1155224444335533555511110x1133330011334422111122111x1155224444335533555511111x1133330011334422111122112x1155224444335533555511112x1133330011334422111122113x1155224444335533555511113x1133330011334422111122114x1155224444335533555511114x1133330011334422111122115x1155224444335533555511115x1233330011334422111122110x1255224444335533555511110x1233330011334422111122111x1255224444335533555511111x1233330011334422111122112x1255224444335533555511112x1233330011334422111122113x1255224444335533555511113x1233330011334422111122114x1255224444335533555511114x1233330011334422111122115x1255224444335533555511115x1333330011334422111122110x1355224444335533555511110x1333330011334422111122111x1355224444335533555511111x1333330011334422111122112x1355224444335533555511112x1333330011334422111122113x1355224444335533555511113x1333330011334422111122114x1355224444335533555511114x1333330011334422111122115x1355224444335533555511115x1433330011334422111122110x1455224444335533555511110x1433330011334422111122111x1455224444335533555511111x1433330011334422111122112x1455224444335533555511112x1433330011334422111122113x1455224444335533555511113x1433330011334422111122114x1455224444335533555511114x1433330011334422111122115x1455224444335533555511115x1533330011334422111122110x1555224444335533555511110x1533330011334422111122111x1555224444335533555511111x1533330011334422111122112x1555224444335533555511112x1533330011334422111122113x1555224444335533555511113x1533330011334422111122114x1555224444335533555511114x1533330011334422111122115x1555224444335533555511115x105533223355004400223344550x1033552211115522110055440x105533223355004400223344551x1033552211115522110055441x105533223355004400223344552x1033552211115522110055442x105533223355004400223344553x1033552211115522110055443x105533223355004400223344554x1033552211115522110055444x105533223355004400223344555x1033552211115522110055445x115533223355004400223344550x1133552211115522110055440x115533223355004400223344551x1133552211115522110055441x115533223355004400223344552x1133552211115522110055442x115533223355004400223344553x1133552211115522110055443x115533223355004400223344554x1133552211115522110055444x115533223355004400223344555x1133552211115522110055445x125533223355004400223344550x1233552211115522110055440x125533223355004400223344551x1233552211115522110055441x125533223355004400223344552x1233552211115522110055442x125533223355004400223344553x1233552211115522110055443x125533223355004400223344554x1233552211115522110055444x125533223355004400223344555x1233552211115522110055445x135533223355004400223344550x1333552211115522110055440x135533223355004400223344551x1333552211115522110055441x135533223355004400223344552x1333552211115522110055442x135533223355004400223344553x1333552211115522110055443x135533223355004400223344554x1333552211115522110055444x135533223355004400223344555x1333552211115522110055445x145533223355004400223344550x1433552211115522110055440x145533223355004400223344551x1433552211115522110055441x145533223355004400223344552x1433552211115522110055442x145533223355004400223344553x1433552211115522110055443x145533223355004400223344554x1433552211115522110055444x145533223355004400223344555x1433552211115522110055445x155533223355004400223344550x1533552211115522110055440x155533223355004400223344551x1533552211115522110055441x155533223355004400223344552x1533552211115522110055442x155533223355004400223344553x1533552211115522110055443x155533223355004400223344554x1533552211115522110055444x155533223355004400223344555x1533552211115522110055445x152233555500000033440022550x1555552244335511112255000x152233555500000033440022551x1555552244335511112255001x152233555500000033440022552x1555552244335511112255002x152233555500000033440022553x1555552244335511112255003x152233555500000033440022554x1555552244335511112255004x152233555500000033440022555x1555552244335511112255005x155533443322440055221122220x1555444400110011331144220x155533443322440055221122221x1555444400110011331144221x155533443322440055221122222x1555444400110011331144222x155533443322440055221122223x1555444400110011331144223x155533443322440055221122224x1555444400110011331144224x155533443322440055221122225x1555444400110011331144225x1144551155001111110033223333110x11113322334433554444335533110x1144551155001111110033223333111x11113322334433554444335533111x1144551155001111110033223333112x11113322334433554444335533112x1144551155001111110033223333113x11113322334433554444335533113x1144551155001111110033223333114x11113322334433554444335533114x1144551155001111110033223333115x11113322334433554444335533115x1333553322112233331100002233330x1355221111333300222211220033330x1333553322112233331100002233331x1355221111333300222211220033331x1333553322112233331100002233332x1355221111333300222211220033332x1333553322112233331100002233333x1355221111333300222211220033333x1333553322112233331100002233334x1355221111333300222211220033334x1333553322112233331100002233335x1355221111333300222211220033335x133333440055444433221144220000220x135511225533554455331111442222330x133333440055444433221144220000221x135511225533554455331111442222331x133333440055444433221144220000222x135511225533554455331111442222332x133333440055444433221144220000223x135511225533554455331111442222333x133333440055444433221144220000224x135511225533554455331111442222334x133333440055444433221144220000225x135511225533554455331111442222335x150022555511332255220044440044110x1511110000222222113344332255440x150022555511332255220044440044111x1511110000222222113344332255441x150022555511332255220044440044112x1511110000222222113344332255442x150022555511332255220044440044113x1511110000222222113344332255443x150022555511332255220044440044114x1511110000222222113344332255444x150022555511332255220044440044115x1511110000222222113344332255445x1355441144330055550022551144331155330x1344005500001100440044334455002233110x1355441144330055550022551144331155331x1344005500001100440044334455002233111x1355441144330055550022551144331155332x1344005500001100440044334455002233112x1355441144330055550022551144331155333x1344005500001100440044334455002233113x1355441144330055550022551144331155334x1344005500001100440044334455002233114x1355441144330055550022551144331155335x1344005500001100440044334455002233115x1455333322555511335511550000225555110x145555222233003333004411331111110x1455333322555511335511550000225555111x145555222233003333004411331111111x1455333322555511335511550000225555112x145555222233003333004411331111112x1455333322555511335511550000225555113x145555222233003333004411331111113x1455333322555511335511550000225555114x145555222233003333004411331111114x1455333322555511335511550000225555115x145555222233003333004411331111115x100055332200551133335522002255334444550x1000553355550011335500113311334422440x100055332200551133335522002255334444551x1000553355550011335500113311334422441x100055332200551133335522002255334444552x1000553355550011335500113311334422442x100055332200551133335522002255334444553x1000553355550011335500113311334422443x100055332200551133335522002255334444554x1000553355550011335500113311334422444x100055332200551133335522002255334444555x1000553355550011335500113311334422445x125511222233223322114422005555110033330x1233004455004433113322004411224411330x125511222233223322114422005555110033331x1233004455004433113322004411224411331x125511222233223322114422005555110033332x1233004455004433113322004411224411332x125511222233223322114422005555110033333x1233004455004433113322004411224411333x125511222233223322114422005555110033334x1233004455004433113322004411224411334x125511222233223322114422005555110033335x1233004455004433113322004411224411335x1033221133331155112200220044114422555511550x10551100113311114422000022332255335511220x1033221133331155112200220044114422555511551x10551100113311114422000022332255335511221x1033221133331155112200220044114422555511552x10551100113311114422000022332255335511222x1033221133331155112200220044114422555511553x10551100113311114422000022332255335511223x1033221133331155112200220044114422555511554x10551100113311114422000022332255335511224x1033221133331155112200220044114422555511555x10551100113311114422000022332255335511225x1133221133331155112200220044114422555511550x11551100113311114422000022332255335511220x1133221133331155112200220044114422555511551x11551100113311114422000022332255335511221x1133221133331155112200220044114422555511552x11551100113311114422000022332255335511222x1133221133331155112200220044114422555511553x11551100113311114422000022332255335511223x1133221133331155112200220044114422555511554x11551100113311114422000022332255335511224x1133221133331155112200220044114422555511555x11551100113311114422000022332255335511225x1233221133331155112200220044114422555511550x12551100113311114422000022332255335511220x1233221133331155112200220044114422555511551x12551100113311114422000022332255335511221x1233221133331155112200220044114422555511552x12551100113311114422000022332255335511222x1233221133331155112200220044114422555511553x12551100113311114422000022332255335511223x1233221133331155112200220044114422555511554x12551100113311114422000022332255335511224x1233221133331155112200220044114422555511555x12551100113311114422000022332255335511225x1333221133331155112200220044114422555511550x13551100113311114422000022332255335511220x1333221133331155112200220044114422555511551x13551100113311114422000022332255335511221x1333221133331155112200220044114422555511552x13551100113311114422000022332255335511222x1333221133331155112200220044114422555511553x13551100113311114422000022332255335511223x1333221133331155112200220044114422555511554x13551100113311114422000022332255335511224x1333221133331155112200220044114422555511555x13551100113311114422000022332255335511225x1433221133331155112200220044114422555511550x14551100113311114422000022332255335511220x1433221133331155112200220044114422555511551x14551100113311114422000022332255335511221x1433221133331155112200220044114422555511552x14551100113311114422000022332255335511222x1433221133331155112200220044114422555511553x14551100113311114422000022332255335511223x1433221133331155112200220044114422555511554x14551100113311114422000022332255335511224x1433221133331155112200220044114422555511555x14551100113311114422000022332255335511225x1533221133331155112200220044114422555511550x15551100113311114422000022332255335511220x1533221133331155112200220044114422555511551x15551100113311114422000022332255335511221x1533221133331155112200220044114422555511552x15551100113311114422000022332255335511222x1533221133331155112200220044114422555511553x15551100113311114422000022332255335511223x1533221133331155112200220044114422555511554x15551100113311114422000022332255335511224x1533221133331155112200220044114422555511555x15551100113311114422000022332255335511225x13221144221111004400112222331133551144550x13225555005544222255221100115500333355220x13221144221111004400112222331133551144551x13225555005544222255221100115500333355221x13221144221111004400112222331133551144552x13225555005544222255221100115500333355222x13221144221111004400112222331133551144553x13225555005544222255221100115500333355223x13221144221111004400112222331133551144554x13225555005544222255221100115500333355224x13221144221111004400112222331133551144555x13225555005544222255221100115500333355225x100044224455004444440022111155331155111155000x102211000033440033445533114422115533335555000x100044224455004444440022111155331155111155001x102211000033440033445533114422115533335555001x100044224455004444440022111155331155111155002x102211000033440033445533114422115533335555002x100044224455004444440022111155331155111155003x102211000033440033445533114422115533335555003x100044224455004444440022111155331155111155004x102211000033440033445533114422115533335555004x100044224455004444440022111155331155111155005x102211000033440033445533114422115533335555005x110044224455004444440022111155331155111155000x112211000033440033445533114422115533335555000x110044224455004444440022111155331155111155001x112211000033440033445533114422115533335555001x110044224455004444440022111155331155111155002x112211000033440033445533114422115533335555002x110044224455004444440022111155331155111155003x112211000033440033445533114422115533335555003x110044224455004444440022111155331155111155004x112211000033440033445533114422115533335555004x110044224455004444440022111155331155111155005x112211000033440033445533114422115533335555005x120044224455004444440022111155331155111155000x122211000033440033445533114422115533335555000x120044224455004444440022111155331155111155001x122211000033440033445533114422115533335555001x120044224455004444440022111155331155111155002x122211000033440033445533114422115533335555002x120044224455004444440022111155331155111155003x122211000033440033445533114422115533335555003x120044224455004444440022111155331155111155004x122211000033440033445533114422115533335555004x120044224455004444440022111155331155111155005x122211000033440033445533114422115533335555005x130044224455004444440022111155331155111155000x132211000033440033445533114422115533335555000x130044224455004444440022111155331155111155001x132211000033440033445533114422115533335555001x130044224455004444440022111155331155111155002x132211000033440033445533114422115533335555002x130044224455004444440022111155331155111155003x132211000033440033445533114422115533335555003x130044224455004444440022111155331155111155004x132211000033440033445533114422115533335555004x130044224455004444440022111155331155111155005x132211000033440033445533114422115533335555005x140044224455004444440022111155331155111155000x142211000033440033445533114422115533335555000x140044224455004444440022111155331155111155001x142211000033440033445533114422115533335555001x140044224455004444440022111155331155111155002x142211000033440033445533114422115533335555002x140044224455004444440022111155331155111155003x142211000033440033445533114422115533335555003x140044224455004444440022111155331155111155004x142211000033440033445533114422115533335555004x140044224455004444440022111155331155111155005x142211000033440033445533114422115533335555005x150044224455004444440022111155331155111155000x152211000033440033445533114422115533335555000x150044224455004444440022111155331155111155001x152211000033440033445533114422115533335555001x150044224455004444440022111155331155111155002x152211000033440033445533114422115533335555002x150044224455004444440022111155331155111155003x152211000033440033445533114422115533335555003x150044224455004444440022111155331155111155004x152211000033440033445533114422115533335555004x150044224455004444440022111155331155111155005x152211000033440033445533114422115533335555005x101111222233003311223333554422001133000022330x103333331100445522112244555555003355334444000x101111222233003311223333554422001133000022331x103333331100445522112244555555003355334444001x101111222233003311223333554422001133000022332x103333331100445522112244555555003355334444002x101111222233003311223333554422001133000022333x103333331100445522112244555555003355334444003x101111222233003311223333554422001133000022334x103333331100445522112244555555003355334444004x101111222233003311223333554422001133000022335x103333331100445522112244555555003355334444005x111111222233003311223333554422001133000022330x113333331100445522112244555555003355334444000x111111222233003311223333554422001133000022331x113333331100445522112244555555003355334444001x111111222233003311223333554422001133000022332x113333331100445522112244555555003355334444002x111111222233003311223333554422001133000022333x113333331100445522112244555555003355334444003x111111222233003311223333554422001133000022334x113333331100445522112244555555003355334444004x111111222233003311223333554422001133000022335x113333331100445522112244555555003355334444005x121111222233003311223333554422001133000022330x123333331100445522112244555555003355334444000x121111222233003311223333554422001133000022331x123333331100445522112244555555003355334444001x121111222233003311223333554422001133000022332x123333331100445522112244555555003355334444002x121111222233003311223333554422001133000022333x123333331100445522112244555555003355334444003x121111222233003311223333554422001133000022334x123333331100445522112244555555003355334444004x121111222233003311223333554422001133000022335x123333331100445522112244555555003355334444005x131111222233003311223333554422001133000022330x133333331100445522112244555555003355334444000x131111222233003311223333554422001133000022331x133333331100445522112244555555003355334444001x131111222233003311223333554422001133000022332x133333331100445522112244555555003355334444002x131111222233003311223333554422001133000022333x133333331100445522112244555555003355334444003x131111222233003311223333554422001133000022334x133333331100445522112244555555003355334444004x131111222233003311223333554422001133000022335x133333331100445522112244555555003355334444005x141111222233003311223333554422001133000022330x143333331100445522112244555555003355334444000x141111222233003311223333554422001133000022331x143333331100445522112244555555003355334444001x141111222233003311223333554422001133000022332x143333331100445522112244555555003355334444002x141111222233003311223333554422001133000022333x143333331100445522112244555555003355334444003x141111222233003311223333554422001133000022334x143333331100445522112244555555003355334444004x141111222233003311223333554422001133000022335x143333331100445522112244555555003355334444005x151111222233003311223333554422001133000022330x153333331100445522112244555555003355334444000x151111222233003311223333554422001133000022331x153333331100445522112244555555003355334444001x151111222233003311223333554422001133000022332x153333331100445522112244555555003355334444002x151111222233003311223333554422001133000022333x153333331100445522112244555555003355334444003x151111222233003311223333554422001133000022334x153333331100445522112244555555003355334444004x151111222233003311223333554422001133000022335x153333331100445522112244555555003355334444005x121110674314284364136432011111118431116411145111110131111231322555322105612875958158123138102986818511912111911286119113168987389927899518999011381099105755781103281107686048018080980308060280208089880109980111010310261031145108976189711098971244874410074382741274619274206274691274627424227453827443727428527422627455727410572741245273103827310821199284915112112373844818788641291054129109211401099882437110403711086125328499538956158706421273109912211223121226201221205122125527612761822761664613301160413271099705100022712522271264226206419633939339917499851110476111043811045610033855310465531088103328421313110114525001298381031879011081034108118891976193895697291421233111059951051190127811012111012311012911013111013710717611124109910552841027206122938997383611048361109061816188346187616181396183813011306191302061304501302341110109912755901903539015990393903920467389367310081031284837122230428430493994232393832211325116241162130838011311912112712913513715515716316517111571165117111731179118112051225122712331235124112831303130513111313131940742123102812311471077761826513081326101920610094549222849362846901103051184133131310817611112109994032312233811541099118515813173131323313113010991215158689857689921689945689980987384414476144384466884412131581029206402137739036341070132958423933086733092533094933098899338381393876181657910187911291005407583858319583115830358241582335822558181581735816558715863585558355827581958358215829583758575865581575817158179582055822758235582835830558313581586636420848886847604391621916113191612382681268817268362681062682026889826810992681110924284211123211246723812771099912158251103625110802511190138113810513899138513891113810921381002138935138137138129138121138110138888844399833882458243538243198243118243038242418242338242258241818241738241658247182463824558243582427824198243824218242982437824578246582415782417182417982420582422782423582428382430582431382418241598941081721581727631723191723111723031722411722331722251721811721731721651727117263172551723517227172191723172211722917237172571726517215717217117217917220517222717223517228317230517231317211721809182461219111311313810566916913107576155415546195542065542421193211193127411931310109875109929109953109992881886018876388158881808876282311598231198823121282312281186128010372841037106222422302231922311223032224122233222252218122173221652271226322552235222722192232221222922372257226522157221712217922205222272223522283223052231322122602104128412411248251242071242812411621205284129351741581279109913092113091328130913301047284363907116841146109911921272204120435320415920439320424520439821826198220682236822288212479061581431081431186118812769993880851801589541584243440346722659052842891544912548764876119210694212943212106628432128489718811883211882841883141889419041581035284252825226525226725227325227525228110013836910203691137802728188328193328195728199610152066638379881379931379955379994602106410636218871161887120488712148871230981383062843061306314122115898938450887759937759101475911111041104823104672104243104410420104898104109910411101315313236206944158101331091761124720628212821002823232829401021206370137081537036118721118712921187132256813112552849913863526723420623410122909981049284934284182158902158960158120728430412393139621584210244211531378851379351379611371002643864101011221099362836236336236936237136237736237918910161891098162501162909950158948158158601108376195215890815819811987631981801025206946158510203190119080719030190602360865164116484116476116438164669262841017206114810992422062428011245206159353206449206619567959567106826710222671139413137858497411679741206974122097412363202841087761203859203923203947203982928284866428543728553828510041093761132113260113215813217413216613218213291213296213212151281109974174321742847431474140378137818293228412855195103019510748524910158437343794381438743891065623266126632126628426632026630426655526632226655637213726193722063722421265761888110930284102320616615816318716318916319516319716320356389751059751975999755312284780251228206228319228311228303228241228233228225228181228173228165228712286322855228352282722819228322821228292283722857228652281572281712281792282052282272282352282832283052283132281228236103928411892111891284118913142914219611966191962061962361961006898433501131162862931119519631155655731189389431110141015311749750311778779311685686311124412453112842853114054063114914923111071083111056105731110161017311605606311225226541412413541494495541290291541441442541158159541702703151120612071513573581517457461511054105515110481049151121122151694695151319320151935936430112301105011421123812394217017024212892904219499504216826834211310131142112121213421951952421131613174219039044214034044211711724211314131542160260342111841185421878842148848942174774842113301331421132213232215045052211011022218678682217980221873874221119211932212072082215655662217007012215055062211308130922120820922145445522121222219159162211159116022186586614128628714131331414140440514168368414174874914116216314148949014110461047111395396111459460111684685111509510111937938111921922111490491111967968111321322111923924111103010311111871881113033041115555561113583590415595600416306310416336340417767770419989990411088108904162462504154454504165660415465475016086095015405415016126135017047055018438445016316325015505515016936945018418425018378385019649655012442455018348355017677685012122135014142501383940011331457458331691692331449450331246247331561562331251252331102210233311020102133123323433177978033110810933137137233174374433127327422212721273222132613272221121112222211291130222112311241315575581314584591316106111319299301311004100513131131213193393413136336413150250313110341035131606607131619620131247248131604605131120412051314474481312652661316866871314064071311254125513110361037131931932131104010411316276281311038103913011021575802114114202145545602110761077021122812290211264126502124324402167968002199099102198698702198898902153954002150650702143442201125011531325326531492493531109110531887888531615616531675676531100610075312812825314964975317507515313793805317647655314374385317447455221099110010154754810140840910177777810169669710128328410175875910168868910135435510150850910113914041011330112013420168168220110661067201101010112016256262014514524019439444011571584017617624014104114017547554015455464015525531101154011100112121111111221210981099212110911102117597602114534542118978982111008100921185185221174674721169769821146046121135535621118919021177377421114014121135936021185986021119202115035042118578582311186118723111901191231206207231118811892318758762311161116223144544623126726823127282315385392315645652318838842316786792313693702318818820016806810011070107100137380016176180017577580011222122300196396400150750800154955032162662732144644732167767832125025132110181019321160161321227228321124612473218182550115201125135362516766772511068106925110510625196596625149749825124925025112312425142432511591602511001012518858862511167116825169970025110310425139339403112301231031636403169269303175375403199699703121121203189031913914031108610870314504510317667670311082108303175675703110121013031562563031108010810319949950319929934201104011352110011015113963975116896905119689695116736745113223235119419425112032045119399405112482495114995000201100011432110111025001124129302416016022417717722416216222412882892413293302413994002419719724115585594116206214119459464111971984111651664112872884119479484119019024116236244111062106330011521113111325218078085214552136036152113281329521817818521809810521815816521698699521128412855215665675218990521356357521129212935214004015217747755211274127552133033152197297352182382452110210352112861287521825826521209210150113015605613012052063015635643016346353011421433014564574501134011510112401132011030113101121011351361362351210211351742743351102810293516746753514954963519179183513263273515635196997035110241025351245246351397398351241242351438439351609610351614615351129130351102610273514424433513243253517657662321280128123212761277232113911402321137113823212781279011548549011555601160760801140740801168768801116316401110741075011980981011409410011695696011611612011982983530114316296304313773784319709714314394404312752764319579584311214121543167431955956431285286431443444431173174431543544431161162431801802431907908431398399431327328431953954431905906032110311041401144176276344117918044141141244144044144190991044132832925211471148252115311542521145114605110921093051353354051703704051109010910517172051616617051551552051100010010518368370511236123705140410511002100305111011134176376434175575634150150234160360434144444534154254334123523634175275334178341553554342110211030101120011440114511311324517517524517707714515415424519599604511220122145191191245118118245149349445163263345177577645196196255170570655197397455199100551835836551323324551974975551769770551394055156756855113713855140140255161361455176876912011121394395121622623121125212531216726731211032103312110610712110641065121305306121927928121498499121737412196696712111981199121452453121772773121925926ttt2ttt2 1.20 [hg: unknown]((if standard then var else fail) | con | (if srs then ((sleep -t 25?;rlab;(((( (if srs then arctic -dim 1 -ib 4 -ob 5 else fail) || (if srs then arctic -dim 2 -ib 2 -ob 3 else fail) || (if srs then arctic -dim 3 -ib 1 -ob 2 else fail) || (if srs then arctic -dim 3 -ib 2 -ob 2 else fail) || matrix -dim 1 -ib 5 -ob 8 || matrix -dim 2 -ib 3 -ob 4 || matrix -dim 3 -ib 2 -ob 3 || matrix -dim 3 -ib 1 -ob 2 || matrix -dim 4 -ib 1 -ob 2 || matrix -dim 5 -ib 1 -ob 1 || kbo -ib 3 -ob 4 || wpo -msum -ib 3 -ob 4 -cpf || fail)[5]*);((dp;(edg -gtcap -nl[1.0]?;(sccs | ((sc || sc -rec -defs || sc -mulex -defs) || sct || {ur?;( (wpo -cpf -dp -ur -sum -ib 3 -ob 3 [3] | wpo -cpf -dp -ur -pol -ib 3 -ob 3 [3] | wpo -cpf -dp -ur -max -ib 3 -ob 3 [3] | wpo -cpf -dp -ur -msum -ib 3 -ob 3 [4] | wpo -cpf -dp -ur -mat -dim 2 -ib 3 -ob 3 [5] | wpo -cpf -dp -ur -mat -dim 3 -ib 3 -ob 3 [5] | wpo -cpf -dp -ur -ib 3 -ob 3 [9] | fail ) || matrix -dp -ur -dim 1 -ib 3 -ob 5 || matrix -dp -ur -dim 1 -ib 3 -ob 8 -rat 2 -db 1 || matrix -dp -ur -dim 1 -ib 4 -ob 10 -rat 4 -db 1 || matrix -dp -ur -dim 2 -ib 2 -ob 3 || matrix -dp -ur -dim 2 -ib 3 -ob 4 -rat 2 -db 0 || matrix -dp -ur -dim 3 -ib 1 -ob 3 || matrix -dp -ur -dim 3 -ib 2 -ob 3 || matrix -dp -ur -dim 3 -ib 2 -ob 3 -rat 2 -db 0 || matrix -dp -ur -dim 4 -ib 1 -ob 2 || lpo -ur -af || (arctic -dp -ur -dim 1 -ib 4 -ob 3[25] | arctic -dp -ur -dim 2 -ib 2 -ob 2[28] | arctic -dp -ur -dim 3 -ib 1 -ob 1[28] | arctic -dp -ur -dim 4 -ib 1 -ob 1[28] | fail) || (arctic -bz -dp -ur -dim 1 -ib 4 -ob 3[25] | arctic -bz -dp -ur -dim 2 -ib 2 -ob 2[28] | arctic -bz -dp -ur -dim 3 -ib 1 -ob 1[28] | arctic -bz -dp -ur -dim 4 -ib 1 -ob 1[28] | fail) || fail) } restore) )*[29])) || (if standard then (bounds -cert || fail;(bounds -rfc -qc)) else fail)))! || (( unfold || fail)*[7])!)[299])! || ((((( (if srs then arctic -dim 1 -ib 4 -ob 5 else fail) || (if srs then arctic -dim 2 -ib 2 -ob 3 else fail) || (if srs then arctic -dim 3 -ib 1 -ob 2 else fail) || (if srs then arctic -dim 3 -ib 2 -ob 2 else fail) || matrix -dim 1 -ib 5 -ob 8 || matrix -dim 2 -ib 3 -ob 4 || matrix -dim 3 -ib 2 -ob 3 || matrix -dim 3 -ib 1 -ob 2 || matrix -dim 4 -ib 1 -ob 2 || matrix -dim 5 -ib 1 -ob 1 || kbo -ib 3 -ob 4 || wpo -msum -ib 3 -ob 4 -cpf || fail)[5]*);((dp;(edg -gtcap -nl[1.0]?;(sccs | ((sc || sc -rec -defs || sc -mulex -defs) || sct || {ur?;( (wpo -cpf -dp -ur -sum -ib 3 -ob 3 [3] | wpo -cpf -dp -ur -pol -ib 3 -ob 3 [3] | wpo -cpf -dp -ur -max -ib 3 -ob 3 [3] | wpo -cpf -dp -ur -msum -ib 3 -ob 3 [4] | wpo -cpf -dp -ur -mat -dim 2 -ib 3 -ob 3 [5] | wpo -cpf -dp -ur -mat -dim 3 -ib 3 -ob 3 [5] | wpo -cpf -dp -ur -ib 3 -ob 3 [9] | fail ) || matrix -dp -ur -dim 1 -ib 3 -ob 5 || matrix -dp -ur -dim 1 -ib 3 -ob 8 -rat 2 -db 1 || matrix -dp -ur -dim 1 -ib 4 -ob 10 -rat 4 -db 1 || matrix -dp -ur -dim 2 -ib 2 -ob 3 || matrix -dp -ur -dim 2 -ib 3 -ob 4 -rat 2 -db 0 || matrix -dp -ur -dim 3 -ib 1 -ob 3 || matrix -dp -ur -dim 3 -ib 2 -ob 3 || matrix -dp -ur -dim 3 -ib 2 -ob 3 -rat 2 -db 0 || matrix -dp -ur -dim 4 -ib 1 -ob 2 || lpo -ur -af || (arctic -dp -ur -dim 1 -ib 4 -ob 3[25] | arctic -dp -ur -dim 2 -ib 2 -ob 2[28] | arctic -dp -ur -dim 3 -ib 1 -ob 1[28] | arctic -dp -ur -dim 4 -ib 1 -ob 1[28] | fail) || (arctic -bz -dp -ur -dim 1 -ib 4 -ob 3[25] | arctic -bz -dp -ur -dim 2 -ib 2 -ob 2[28] | arctic -bz -dp -ur -dim 3 -ib 1 -ob 1[28] | arctic -bz -dp -ur -dim 4 -ib 1 -ob 1[28] | fail) || fail) } restore) )*[29])) || (if standard then (bounds -cert || fail;(bounds -rfc -qc)) else fail)))! || (( unfold || fail)*[7])!)[299])! || (rev?;((( (if srs then arctic -dim 1 -ib 4 -ob 5 else fail) || (if srs then arctic -dim 2 -ib 2 -ob 3 else fail) || (if srs then arctic -dim 3 -ib 1 -ob 2 else fail) || (if srs then arctic -dim 3 -ib 2 -ob 2 else fail) || matrix -dim 1 -ib 5 -ob 8 || matrix -dim 2 -ib 3 -ob 4 || matrix -dim 3 -ib 2 -ob 3 || matrix -dim 3 -ib 1 -ob 2 || matrix -dim 4 -ib 1 -ob 2 || matrix -dim 5 -ib 1 -ob 1 || kbo -ib 3 -ob 4 || wpo -msum -ib 3 -ob 4 -cpf || fail)[5]*);((dp;(edg -gtcap -nl[1.0]?;(sccs | ((sc || sc -rec -defs || sc -mulex -defs) || sct || {ur?;( (wpo -cpf -dp -ur -sum -ib 3 -ob 3 [3] | wpo -cpf -dp -ur -pol -ib 3 -ob 3 [3] | wpo -cpf -dp -ur -max -ib 3 -ob 3 [3] | wpo -cpf -dp -ur -msum -ib 3 -ob 3 [4] | wpo -cpf -dp -ur -mat -dim 2 -ib 3 -ob 3 [5] | wpo -cpf -dp -ur -mat -dim 3 -ib 3 -ob 3 [5] | wpo -cpf -dp -ur -ib 3 -ob 3 [9] | fail ) || matrix -dp -ur -dim 1 -ib 3 -ob 5 || matrix -dp -ur -dim 1 -ib 3 -ob 8 -rat 2 -db 1 || matrix -dp -ur -dim 1 -ib 4 -ob 10 -rat 4 -db 1 || matrix -dp -ur -dim 2 -ib 2 -ob 3 || matrix -dp -ur -dim 2 -ib 3 -ob 4 -rat 2 -db 0 || matrix -dp -ur -dim 3 -ib 1 -ob 3 || matrix -dp -ur -dim 3 -ib 2 -ob 3 || matrix -dp -ur -dim 3 -ib 2 -ob 3 -rat 2 -db 0 || matrix -dp -ur -dim 4 -ib 1 -ob 2 || lpo -ur -af || (arctic -dp -ur -dim 1 -ib 4 -ob 3[25] | arctic -dp -ur -dim 2 -ib 2 -ob 2[28] | arctic -dp -ur -dim 3 -ib 1 -ob 1[28] | arctic -dp -ur -dim 4 -ib 1 -ob 1[28] | fail) || (arctic -bz -dp -ur -dim 1 -ib 4 -ob 3[25] | arctic -bz -dp -ur -dim 2 -ib 2 -ob 2[28] | arctic -bz -dp -ur -dim 3 -ib 1 -ob 1[28] | arctic -bz -dp -ur -dim 4 -ib 1 -ob 1[28] | fail) || fail) } restore) )*[29])) || (if standard then (bounds -cert || fail;(bounds -rfc -qc)) else fail)))![299])! ) else ((((( (if srs then arctic -dim 1 -ib 4 -ob 5 else fail) || (if srs then arctic -dim 2 -ib 2 -ob 3 else fail) || (if srs then arctic -dim 3 -ib 1 -ob 2 else fail) || (if srs then arctic -dim 3 -ib 2 -ob 2 else fail) || matrix -dim 1 -ib 5 -ob 8 || matrix -dim 2 -ib 3 -ob 4 || matrix -dim 3 -ib 2 -ob 3 || matrix -dim 3 -ib 1 -ob 2 || matrix -dim 4 -ib 1 -ob 2 || matrix -dim 5 -ib 1 -ob 1 || kbo -ib 3 -ob 4 || wpo -msum -ib 3 -ob 4 -cpf || fail)[5]*);((dp;(edg -gtcap -nl[1.0]?;(sccs | ((sc || sc -rec -defs || sc -mulex -defs) || sct || {ur?;( (wpo -cpf -dp -ur -sum -ib 3 -ob 3 [3] | wpo -cpf -dp -ur -pol -ib 3 -ob 3 [3] | wpo -cpf -dp -ur -max -ib 3 -ob 3 [3] | wpo -cpf -dp -ur -msum -ib 3 -ob 3 [4] | wpo -cpf -dp -ur -mat -dim 2 -ib 3 -ob 3 [5] | wpo -cpf -dp -ur -mat -dim 3 -ib 3 -ob 3 [5] | wpo -cpf -dp -ur -ib 3 -ob 3 [9] | fail ) || matrix -dp -ur -dim 1 -ib 3 -ob 5 || matrix -dp -ur -dim 1 -ib 3 -ob 8 -rat 2 -db 1 || matrix -dp -ur -dim 1 -ib 4 -ob 10 -rat 4 -db 1 || matrix -dp -ur -dim 2 -ib 2 -ob 3 || matrix -dp -ur -dim 2 -ib 3 -ob 4 -rat 2 -db 0 || matrix -dp -ur -dim 3 -ib 1 -ob 3 || matrix -dp -ur -dim 3 -ib 2 -ob 3 || matrix -dp -ur -dim 3 -ib 2 -ob 3 -rat 2 -db 0 || matrix -dp -ur -dim 4 -ib 1 -ob 2 || lpo -ur -af || (arctic -dp -ur -dim 1 -ib 4 -ob 3[25] | arctic -dp -ur -dim 2 -ib 2 -ob 2[28] | arctic -dp -ur -dim 3 -ib 1 -ob 1[28] | arctic -dp -ur -dim 4 -ib 1 -ob 1[28] | fail) || (arctic -bz -dp -ur -dim 1 -ib 4 -ob 3[25] | arctic -bz -dp -ur -dim 2 -ib 2 -ob 2[28] | arctic -bz -dp -ur -dim 3 -ib 1 -ob 1[28] | arctic -bz -dp -ur -dim 4 -ib 1 -ob 1[28] | fail) || fail) } restore) )*[29])) || (if standard then (bounds -cert || fail;(bounds -rfc -qc)) else fail)))! || (( unfold || fail)*[7])!)[299])))