{"version":"1.0","inverted":false,"range":100,"metadata":{"creator":"Souffle","mode":"eveil"},"actions":[{"at":0,"pos":0},{"at":7700,"pos":48},{"at":8048,"pos":17},{"at":8280,"pos":82},{"at":8604,"pos":29},{"at":8820,"pos":81},{"at":9000,"pos":28},{"at":9120,"pos":77},{"at":9276,"pos":27},{"at":9380,"pos":81},{"at":9752,"pos":28},{"at":10000,"pos":84},{"at":10168,"pos":29},{"at":10280,"pos":83},{"at":10604,"pos":29},{"at":10820,"pos":67},{"at":10988,"pos":24},{"at":11100,"pos":72},{"at":11292,"pos":25},{"at":11420,"pos":74},{"at":11744,"pos":26},{"at":11960,"pos":74},{"at":12116,"pos":26},{"at":12220,"pos":75},{"at":12652,"pos":26},{"at":12940,"pos":83},{"at":13132,"pos":29},{"at":13260,"pos":74},{"at":13464,"pos":26},{"at":13600,"pos":71},{"at":13756,"pos":25},{"at":13860,"pos":78},{"at":14460,"pos":27},{"at":15140,"pos":77},{"at":15296,"pos":27},{"at":15400,"pos":79},{"at":15568,"pos":28},{"at":15680,"pos":79},{"at":15884,"pos":28},{"at":16020,"pos":71},{"at":16188,"pos":25},{"at":16300,"pos":65},{"at":16456,"pos":23},{"at":16560,"pos":73},{"at":16740,"pos":26},{"at":16860,"pos":73},{"at":17184,"pos":25},{"at":17400,"pos":74},{"at":17580,"pos":26},{"at":17700,"pos":69},{"at":17880,"pos":24},{"at":18000,"pos":78},{"at":18444,"pos":27},{"at":18740,"pos":46},{"at":18920,"pos":16},{"at":19040,"pos":71},{"at":19208,"pos":25},{"at":19320,"pos":74},{"at":19716,"pos":26},{"at":19980,"pos":79},{"at":20184,"pos":28},{"at":20320,"pos":74},{"at":20500,"pos":26},{"at":20620,"pos":75},{"at":20968,"pos":26},{"at":21200,"pos":72},{"at":21596,"pos":25},{"at":21860,"pos":69},{"at":22040,"pos":24},{"at":22160,"pos":71},{"at":22520,"pos":25},{"at":22760,"pos":78},{"at":23264,"pos":27},{"at":23600,"pos":68},{"at":24020,"pos":24},{"at":24300,"pos":64},{"at":24468,"pos":22},{"at":24580,"pos":73},{"at":24784,"pos":25},{"at":24920,"pos":69},{"at":25160,"pos":24},{"at":25320,"pos":67},{"at":25476,"pos":23},{"at":25580,"pos":78},{"at":25748,"pos":27},{"at":25860,"pos":75},{"at":26184,"pos":26},{"at":26400,"pos":74},{"at":26586,"pos":22},{"at":26630,"pos":25},{"at":26880,"pos":31},{"at":27130,"pos":37},{"at":27380,"pos":44},{"at":27630,"pos":50},{"at":27880,"pos":56},{"at":28130,"pos":62},{"at":28380,"pos":69},{"at":28630,"pos":75},{"at":28880,"pos":81},{"at":29130,"pos":87},{"at":29380,"pos":94},{"at":29630,"pos":100},{"at":29636,"pos":98},{"at":29886,"pos":94},{"at":30136,"pos":90},{"at":30386,"pos":86},{"at":30636,"pos":82},{"at":30886,"pos":78},{"at":31136,"pos":74},{"at":31386,"pos":69},{"at":31636,"pos":65},{"at":31886,"pos":61},{"at":32136,"pos":57},{"at":32386,"pos":53},{"at":32636,"pos":49},{"at":32886,"pos":45},{"at":33136,"pos":41},{"at":33386,"pos":37},{"at":33636,"pos":33},{"at":33886,"pos":29},{"at":34136,"pos":25},{"at":34386,"pos":20},{"at":34636,"pos":16},{"at":34886,"pos":12},{"at":35136,"pos":8},{"at":35386,"pos":4},{"at":35636,"pos":0},{"at":35661,"pos":80},{"at":35761,"pos":56},{"at":35861,"pos":80},{"at":35961,"pos":56},{"at":36061,"pos":80},{"at":36161,"pos":56},{"at":36261,"pos":80},{"at":36361,"pos":56},{"at":36461,"pos":80},{"at":36561,"pos":56},{"at":36661,"pos":80},{"at":36761,"pos":56},{"at":36861,"pos":80},{"at":36961,"pos":56},{"at":37061,"pos":80},{"at":37161,"pos":56},{"at":37261,"pos":80},{"at":37361,"pos":56},{"at":37461,"pos":80},{"at":37561,"pos":56},{"at":37661,"pos":80},{"at":37761,"pos":56},{"at":37861,"pos":80},{"at":37961,"pos":56},{"at":38061,"pos":80},{"at":38161,"pos":56},{"at":38261,"pos":80},{"at":38361,"pos":56},{"at":38461,"pos":80},{"at":38561,"pos":56},{"at":38661,"pos":80},{"at":38761,"pos":56},{"at":38861,"pos":80},{"at":38961,"pos":56},{"at":39061,"pos":80},{"at":39161,"pos":56},{"at":39261,"pos":80},{"at":39361,"pos":56},{"at":39461,"pos":80},{"at":39561,"pos":56},{"at":39661,"pos":80},{"at":39761,"pos":56},{"at":39861,"pos":80},{"at":39961,"pos":56},{"at":40061,"pos":80},{"at":40161,"pos":56},{"at":40261,"pos":80},{"at":40361,"pos":56},{"at":40461,"pos":80},{"at":40561,"pos":56},{"at":40661,"pos":80},{"at":40761,"pos":56},{"at":40861,"pos":80},{"at":40961,"pos":56},{"at":41061,"pos":80},{"at":41161,"pos":56},{"at":41261,"pos":80},{"at":41361,"pos":56},{"at":41461,"pos":80},{"at":41561,"pos":56},{"at":41661,"pos":3.6684782608695627},{"at":41880,"pos":72},{"at":42480,"pos":25},{"at":43440,"pos":90},{"at":43992,"pos":32},{"at":44360,"pos":61},{"at":44528,"pos":21},{"at":44640,"pos":73},{"at":45072,"pos":25},{"at":45360,"pos":99},{"at":45528,"pos":35},{"at":45640,"pos":86},{"at":45856,"pos":30},{"at":46000,"pos":83},{"at":46168,"pos":29},{"at":46280,"pos":85},{"at":46640,"pos":30},{"at":46880,"pos":83},{"at":47048,"pos":29},{"at":47160,"pos":95},{"at":47412,"pos":33},{"at":47580,"pos":77},{"at":47784,"pos":27},{"at":47920,"pos":76},{"at":48100,"pos":27},{"at":48220,"pos":68},{"at":48400,"pos":24},{"at":48520,"pos":72},{"at":48784,"pos":25},{"at":48960,"pos":89},{"at":49368,"pos":31},{"at":49640,"pos":76},{"at":49796,"pos":27},{"at":49900,"pos":83},{"at":50056,"pos":29},{"at":50160,"pos":72},{"at":50448,"pos":25},{"at":50640,"pos":58},{"at":50808,"pos":20},{"at":50920,"pos":96},{"at":51076,"pos":34},{"at":51180,"pos":78},{"at":51528,"pos":27},{"at":51760,"pos":20},{"at":52300,"pos":7},{"at":52660,"pos":76},{"at":52816,"pos":26},{"at":52920,"pos":75},{"at":53304,"pos":26},{"at":53560,"pos":85},{"at":53788,"pos":30},{"at":53940,"pos":79},{"at":54264,"pos":28},{"at":54480,"pos":92},{"at":54852,"pos":32},{"at":55100,"pos":75},{"at":55292,"pos":26},{"at":55420,"pos":90},{"at":55576,"pos":31},{"at":55680,"pos":75},{"at":55836,"pos":26},{"at":55940,"pos":83},{"at":56096,"pos":29},{"at":56200,"pos":77},{"at":56368,"pos":27},{"at":56480,"pos":62},{"at":56684,"pos":22},{"at":56820,"pos":77},{"at":57216,"pos":27},{"at":57480,"pos":95},{"at":57840,"pos":33},{"at":58080,"pos":79},{"at":58296,"pos":28},{"at":58440,"pos":78},{"at":58596,"pos":27},{"at":58700,"pos":86},{"at":58856,"pos":30},{"at":58960,"pos":72},{"at":59140,"pos":25},{"at":59260,"pos":73},{"at":59584,"pos":26},{"at":59800,"pos":79},{"at":59956,"pos":28},{"at":60060,"pos":85},{"at":60408,"pos":30},{"at":60640,"pos":48},{"at":60952,"pos":17},{"at":61160,"pos":41},{"at":61376,"pos":14},{"at":61520,"pos":60},{"at":61712,"pos":21},{"at":61840,"pos":75},{"at":62272,"pos":26},{"at":62560,"pos":38},{"at":62752,"pos":13},{"at":62880,"pos":82},{"at":63204,"pos":29},{"at":63420,"pos":74},{"at":63576,"pos":26},{"at":63680,"pos":72},{"at":63848,"pos":25},{"at":63960,"pos":73},{"at":64344,"pos":26},{"at":64600,"pos":83},{"at":65200,"pos":29},{"at":66060,"pos":86},{"at":66228,"pos":30},{"at":66340,"pos":97},{"at":66568,"pos":34},{"at":66720,"pos":66},{"at":67320,"pos":23},{"at":68280,"pos":82},{"at":68820,"pos":29},{"at":69180,"pos":64},{"at":69348,"pos":23},{"at":69460,"pos":64},{"at":69784,"pos":22},{"at":70000,"pos":76},{"at":70180,"pos":27},{"at":70300,"pos":71},{"at":70468,"pos":25},{"at":70580,"pos":68},{"at":70856,"pos":24},{"at":71040,"pos":69},{"at":71448,"pos":24},{"at":71720,"pos":71},{"at":71876,"pos":25},{"at":71980,"pos":77},{"at":72412,"pos":27},{"at":72700,"pos":49},{"at":73012,"pos":17},{"at":73220,"pos":57},{"at":73424,"pos":20},{"at":73560,"pos":34},{"at":73776,"pos":12},{"at":73920,"pos":90},{"at":74400,"pos":32},{"at":74720,"pos":79},{"at":74876,"pos":28},{"at":74980,"pos":68},{"at":75304,"pos":24},{"at":75520,"pos":76},{"at":75700,"pos":27},{"at":75820,"pos":70},{"at":75988,"pos":24},{"at":76100,"pos":73},{"at":76268,"pos":25},{"at":76380,"pos":75},{"at":76560,"pos":26},{"at":76680,"pos":85},{"at":77004,"pos":30},{"at":77220,"pos":72},{"at":77376,"pos":25},{"at":77480,"pos":77},{"at":77648,"pos":27},{"at":77760,"pos":77},{"at":77940,"pos":27},{"at":78060,"pos":71},{"at":78264,"pos":25},{"at":78400,"pos":85},{"at":78556,"pos":30},{"at":78660,"pos":76},{"at":78840,"pos":27},{"at":78960,"pos":74},{"at":79116,"pos":26},{"at":79220,"pos":79},{"at":79388,"pos":28},{"at":79500,"pos":87},{"at":79692,"pos":31},{"at":79820,"pos":72},{"at":80000,"pos":25},{"at":80120,"pos":97},{"at":80300,"pos":34},{"at":80420,"pos":82},{"at":80588,"pos":29},{"at":80700,"pos":82},{"at":80904,"pos":29},{"at":81040,"pos":73},{"at":81208,"pos":26},{"at":81320,"pos":65},{"at":81512,"pos":23},{"at":81640,"pos":76},{"at":81796,"pos":27},{"at":81900,"pos":68},{"at":82056,"pos":24},{"at":82160,"pos":76},{"at":82508,"pos":27},{"at":82740,"pos":74},{"at":82920,"pos":26},{"at":83040,"pos":74},{"at":83484,"pos":26},{"at":83780,"pos":69},{"at":83960,"pos":24},{"at":84080,"pos":69},{"at":84260,"pos":24},{"at":84380,"pos":75},{"at":84740,"pos":26},{"at":84980,"pos":96},{"at":85136,"pos":34},{"at":85240,"pos":73},{"at":85396,"pos":25},{"at":85500,"pos":70},{"at":85704,"pos":24},{"at":85840,"pos":65},{"at":86020,"pos":23},{"at":86140,"pos":83},{"at":86692,"pos":29},{"at":87060,"pos":90},{"at":87636,"pos":31},{"at":88020,"pos":69},{"at":88188,"pos":24},{"at":88300,"pos":68},{"at":88468,"pos":24},{"at":88580,"pos":60},{"at":88916,"pos":21},{"at":89140,"pos":87},{"at":89356,"pos":30},{"at":89500,"pos":64},{"at":89680,"pos":23},{"at":89800,"pos":73},{"at":90136,"pos":26},{"at":90360,"pos":73},{"at":90852,"pos":26},{"at":91180,"pos":78},{"at":91408,"pos":27},{"at":91560,"pos":64},{"at":91752,"pos":22},{"at":91880,"pos":85},{"at":92084,"pos":30},{"at":92220,"pos":76},{"at":92664,"pos":27},{"at":92960,"pos":83},{"at":93140,"pos":29},{"at":93260,"pos":90},{"at":93596,"pos":31},{"at":93820,"pos":67},{"at":94000,"pos":23},{"at":94120,"pos":68},{"at":94468,"pos":24},{"at":94700,"pos":78},{"at":94868,"pos":27},{"at":94980,"pos":72},{"at":95328,"pos":25},{"at":95560,"pos":45},{"at":95716,"pos":16},{"at":95820,"pos":49},{"at":95988,"pos":17},{"at":96100,"pos":61},{"at":96472,"pos":21},{"at":96720,"pos":76},{"at":96924,"pos":27},{"at":97060,"pos":74},{"at":97264,"pos":26},{"at":97400,"pos":68},{"at":97556,"pos":24},{"at":97660,"pos":75},{"at":97840,"pos":26},{"at":97960,"pos":75},{"at":98344,"pos":26},{"at":98600,"pos":80},{"at":98960,"pos":28},{"at":99200,"pos":75},{"at":99368,"pos":26},{"at":99480,"pos":78},{"at":99648,"pos":27},{"at":99760,"pos":79},{"at":99952,"pos":28},{"at":100080,"pos":80},{"at":100236,"pos":28},{"at":100340,"pos":77},{"at":100532,"pos":27},{"at":100660,"pos":67},{"at":100816,"pos":24},{"at":100920,"pos":70},{"at":101112,"pos":24},{"at":101240,"pos":74},{"at":101396,"pos":26},{"at":101500,"pos":78},{"at":101643,"pos":46},{"at":101893,"pos":48},{"at":102143,"pos":51},{"at":102393,"pos":53},{"at":102643,"pos":55},{"at":102893,"pos":57},{"at":103143,"pos":60},{"at":103393,"pos":62},{"at":103643,"pos":64},{"at":103893,"pos":66},{"at":104143,"pos":69},{"at":104393,"pos":71},{"at":104643,"pos":73},{"at":104893,"pos":75},{"at":105143,"pos":78},{"at":105393,"pos":80},{"at":105643,"pos":82},{"at":105893,"pos":84},{"at":106143,"pos":87},{"at":106393,"pos":89},{"at":106643,"pos":91},{"at":106893,"pos":93},{"at":107143,"pos":96},{"at":107393,"pos":98},{"at":107643,"pos":100},{"at":107655,"pos":100},{"at":107896,"pos":91},{"at":108146,"pos":88},{"at":108396,"pos":86},{"at":108646,"pos":84},{"at":108896,"pos":81},{"at":109146,"pos":79},{"at":109396,"pos":77},{"at":109646,"pos":74},{"at":109896,"pos":72},{"at":110146,"pos":70},{"at":110396,"pos":67},{"at":110646,"pos":65},{"at":110896,"pos":63},{"at":111146,"pos":60},{"at":111396,"pos":58},{"at":111646,"pos":56},{"at":111896,"pos":53},{"at":112146,"pos":51},{"at":112396,"pos":49},{"at":112646,"pos":47},{"at":112896,"pos":44},{"at":113146,"pos":42},{"at":113396,"pos":40},{"at":113646,"pos":37},{"at":113896,"pos":35},{"at":114146,"pos":33},{"at":114396,"pos":30},{"at":114646,"pos":28},{"at":114896,"pos":26},{"at":115146,"pos":23},{"at":115396,"pos":21},{"at":115646,"pos":19},{"at":115896,"pos":16},{"at":116146,"pos":14},{"at":116396,"pos":12},{"at":116646,"pos":9},{"at":116896,"pos":7},{"at":117146,"pos":5},{"at":117396,"pos":2},{"at":117646,"pos":0},{"at":117740,"pos":100},{"at":117932,"pos":35},{"at":118060,"pos":86},{"at":118264,"pos":30},{"at":118400,"pos":85},{"at":118676,"pos":30},{"at":118860,"pos":83},{"at":119016,"pos":29},{"at":119120,"pos":80},{"at":119516,"pos":28},{"at":119780,"pos":82},{"at":120212,"pos":29},{"at":120500,"pos":84},{"at":120656,"pos":30},{"at":120760,"pos":86},{"at":120940,"pos":30},{"at":121060,"pos":81},{"at":121216,"pos":28},{"at":121320,"pos":74},{"at":121500,"pos":26},{"at":121620,"pos":78},{"at":121776,"pos":27},{"at":121880,"pos":84},{"at":122036,"pos":29},{"at":122140,"pos":84},{"at":122308,"pos":29},{"at":122420,"pos":83},{"at":122588,"pos":29},{"at":122700,"pos":71},{"at":122880,"pos":25},{"at":123000,"pos":72},{"at":123192,"pos":25},{"at":123320,"pos":82},{"at":123500,"pos":29},{"at":123620,"pos":90},{"at":123788,"pos":32},{"at":123900,"pos":81},{"at":124092,"pos":28},{"at":124220,"pos":91},{"at":124472,"pos":32},{"at":124640,"pos":70},{"at":125132,"pos":24},{"at":125460,"pos":66},{"at":125640,"pos":23},{"at":125760,"pos":72},{"at":125916,"pos":25},{"at":126020,"pos":87},{"at":126188,"pos":30},{"at":126300,"pos":95},{"at":126528,"pos":33},{"at":126680,"pos":83},{"at":126896,"pos":29},{"at":127040,"pos":79},{"at":127256,"pos":28},{"at":127400,"pos":71},{"at":127688,"pos":25},{"at":127880,"pos":54},{"at":128204,"pos":19},{"at":128420,"pos":49},{"at":128612,"pos":17},{"at":128740,"pos":69},{"at":129280,"pos":24},{"at":129640,"pos":71},{"at":129808,"pos":25},{"at":129920,"pos":86},{"at":130268,"pos":30},{"at":130500,"pos":80},{"at":130656,"pos":28},{"at":130760,"pos":77},{"at":131012,"pos":27},{"at":131180,"pos":81},{"at":131504,"pos":28},{"at":131720,"pos":100},{"at":131912,"pos":35},{"at":132040,"pos":74},{"at":132256,"pos":26},{"at":132400,"pos":76},{"at":132556,"pos":27},{"at":132660,"pos":87},{"at":132816,"pos":30},{"at":132920,"pos":76},{"at":133304,"pos":27},{"at":133560,"pos":89},{"at":133788,"pos":31},{"at":133940,"pos":80},{"at":134144,"pos":28},{"at":134280,"pos":81},{"at":134508,"pos":28},{"at":134660,"pos":95},{"at":134852,"pos":33},{"at":134980,"pos":88},{"at":135184,"pos":31},{"at":135320,"pos":78},{"at":135536,"pos":27},{"at":135680,"pos":81},{"at":135992,"pos":28},{"at":136200,"pos":80},{"at":136380,"pos":28},{"at":136500,"pos":72},{"at":136680,"pos":25},{"at":136800,"pos":70},{"at":137064,"pos":25},{"at":137240,"pos":90},{"at":137744,"pos":32},{"at":138080,"pos":81},{"at":138380,"pos":28},{"at":138580,"pos":63},{"at":138772,"pos":22},{"at":138900,"pos":72},{"at":139236,"pos":25},{"at":139460,"pos":77},{"at":139664,"pos":27},{"at":139800,"pos":50},{"at":139992,"pos":17},{"at":140120,"pos":80},{"at":140720,"pos":28},{"at":141920,"pos":94},{"at":142148,"pos":33},{"at":142300,"pos":66},{"at":142468,"pos":23},{"at":142580,"pos":67},{"at":142736,"pos":23},{"at":142840,"pos":73},{"at":143020,"pos":25},{"at":143140,"pos":73},{"at":143332,"pos":26},{"at":143460,"pos":76},{"at":143616,"pos":27},{"at":143720,"pos":76},{"at":144320,"pos":27},{"at":144860,"pos":74},{"at":145016,"pos":26},{"at":145120,"pos":78},{"at":145348,"pos":27},{"at":145500,"pos":84},{"at":146064,"pos":29},{"at":146440,"pos":89},{"at":146608,"pos":31},{"at":146720,"pos":75},{"at":147044,"pos":26},{"at":147260,"pos":75},{"at":147428,"pos":26},{"at":147540,"pos":69},{"at":147708,"pos":24},{"at":147820,"pos":74},{"at":148096,"pos":26},{"at":148280,"pos":74},{"at":148820,"pos":26},{"at":149180,"pos":66},{"at":149348,"pos":23},{"at":149460,"pos":63},{"at":149748,"pos":22},{"at":149940,"pos":45},{"at":150252,"pos":16},{"at":150460,"pos":50},{"at":150664,"pos":18},{"at":150800,"pos":28},{"at":151016,"pos":10},{"at":151160,"pos":85},{"at":151628,"pos":30},{"at":151940,"pos":68},{"at":152108,"pos":24},{"at":152220,"pos":66},{"at":152652,"pos":23},{"at":152940,"pos":89},{"at":153096,"pos":31},{"at":153200,"pos":77},{"at":153560,"pos":27},{"at":153800,"pos":75},{"at":153992,"pos":26},{"at":154120,"pos":70},{"at":154276,"pos":24},{"at":154380,"pos":73},{"at":154584,"pos":26},{"at":154720,"pos":70},{"at":154888,"pos":25},{"at":155000,"pos":71},{"at":155384,"pos":25},{"at":155640,"pos":85},{"at":155808,"pos":30},{"at":155920,"pos":81},{"at":156088,"pos":28},{"at":156200,"pos":76},{"at":156560,"pos":27},{"at":156800,"pos":92},{"at":156956,"pos":32},{"at":157060,"pos":65},{"at":157228,"pos":23},{"at":157340,"pos":74},{"at":157844,"pos":26},{"at":158180,"pos":82},{"at":158348,"pos":29},{"at":158460,"pos":94},{"at":158700,"pos":33},{"at":158860,"pos":67},{"at":159064,"pos":23},{"at":159200,"pos":79},{"at":159380,"pos":27},{"at":159500,"pos":96},{"at":159692,"pos":34},{"at":159820,"pos":72},{"at":160060,"pos":25},{"at":160220,"pos":70},{"at":160400,"pos":24},{"at":160520,"pos":71},{"at":160736,"pos":25},{"at":160880,"pos":78},{"at":161048,"pos":27},{"at":161160,"pos":84},{"at":161340,"pos":29},{"at":161460,"pos":83},{"at":161628,"pos":29},{"at":161740,"pos":66},{"at":162184,"pos":23},{"at":162480,"pos":77},{"at":162648,"pos":27},{"at":162760,"pos":34},{"at":162916,"pos":12},{"at":163020,"pos":40},{"at":163176,"pos":14},{"at":163280,"pos":25},{"at":163484,"pos":9},{"at":163620,"pos":24},{"at":164148,"pos":9},{"at":164500,"pos":8},{"at":165100,"pos":3},{"at":169380,"pos":8},{"at":169644,"pos":3},{"at":169820,"pos":8},{"at":170060,"pos":3},{"at":170220,"pos":9},{"at":170820,"pos":3},{"at":177300,"pos":10},{"at":177900,"pos":4},{"at":187100,"pos":10},{"at":187256,"pos":4},{"at":187360,"pos":8},{"at":187960,"pos":3},{"at":192000,"pos":14},{"at":192240,"pos":5},{"at":192400,"pos":10},{"at":193000,"pos":3}]}