{"L":16,"M":16,"P":64,"arcs":{"fold_a":[0,16],"fold_b":[32,48],"run_1":[16,32],"run_2":[48,64]},"blanks":{"inner":[3,7,11,15,32,36,40,44],"middle":[7,15,32,40]},"breaches":{},"c":32,"classes":{"0":20,"1/2":25},"counts_per_turn":{"inner":56,"middle":60,"outer":64},"cycles":[[1,2],[3,4],[5,6],[7,8],[9,10]],"endpoint":"https://api.typesafe.ai/v1/systemone","frames":[{"body":"first","expected":{"blanks_inner_fold1":"4","blanks_inner_group_1":"2","blanks_inner_group_2":"2","blanks_inner_group_3":"0","blanks_inner_group_4":"0","blanks_inner_group_5":"2","blanks_inner_group_6":"2","blanks_inner_group_7":"0","blanks_inner_group_8":"0","blanks_middle_fold1":"2","closed":true,"counts_inner_fold1":"0","counts_middle_fold1":"2","domain_gapped":true,"domain_group":"1","gapped_segments":"2","groups_in_row":"4"},"frame_pin":"937e4e3afe8de8ec64b28d863f539e90f59207f62147ac18ef85149cf2c523bc","id":"R01-v0-FULL~first","invariants":["blanks_inner_fold1","blanks_inner_group_1","blanks_inner_group_2","blanks_inner_group_3","blanks_inner_group_4","blanks_inner_group_5","blanks_inner_group_6","blanks_inner_group_7","blanks_inner_group_8","blanks_middle_fold1","closed","counts_inner_fold1","counts_middle_fold1","gapped_segments","groups_in_row"],"line":"L1","literals":["domain_gapped","domain_group"],"phase":0,"questions":["blanks_inner_fold1","blanks_inner_group_1","blanks_inner_group_2","blanks_inner_group_3","blanks_inner_group_4","blanks_inner_group_5","blanks_inner_group_6","blanks_inner_group_7","blanks_inner_group_8","blanks_middle_fold1","closed","counts_inner_fold1","counts_middle_fold1","domain_gapped","domain_group","gapped_segments","groups_in_row"],"read":1,"request_pin":"04d5d409f665d0dc1170eabc2e70d4672dc1730c439b568835d0ece158708e64","same_as":null,"twin_of":null,"viewpoint":"v0","window":"FULL"},{"body":"rule","expected":{"closed":true,"domain_gapped":true,"domain_group":"1","gapped_segments":"2","groups_in_row":"4"},"frame_pin":"89e9ae11222fed28c43ab377f0aa0da7795e2c1a29a77f00d9534d1f8ed75913","id":"R01-v0-FULL~rule","invariants":["closed","gapped_segments","groups_in_row"],"line":"L1","literals":["domain_gapped","domain_group"],"phase":0,"questions":["closed","domain_gapped","domain_group","gapped_segments","groups_in_row"],"read":1,"request_pin":"20efdaac98330b4ab05f8c79d76b92bc3a9b5bb7a9f2d969920de65260c9936d","same_as":null,"twin_of":null,"viewpoint":"v0","window":"FULL"},{"body":"first","expected":{"blanks_inner_here":"4","blanks_middle_here":"2","counts_inner_here":"0","counts_middle_here":"2","domain_here":true},"frame_pin":"0c0efb3b7a32e86e922d180cb347f68c5bfefa3f0cbd95044a84cc6c74f8d58f","id":"R01-v0-FOLD~first","invariants":["blanks_inner_here","blanks_middle_here","counts_inner_here","counts_middle_here"],"line":"L1","literals":["domain_here"],"phase":0,"questions":["blanks_inner_here","blanks_middle_here","counts_inner_here","counts_middle_here","domain_here"],"read":1,"request_pin":"3d364e32abfbaa50998d251cba3416856ff1309ab1ef10a17efe9c53807363de","same_as":null,"twin_of":null,"viewpoint":"v0","window":"FOLD"},{"body":"rule","expected":{"blanks_inner_here":"4","blanks_middle_here":"2","domain_here":true},"frame_pin":"444d2c61db3875fee77858f9a054e89ac9ea7fa0665930dfc77944479bcc4c73","id":"R01-v0-FOLD~rule","invariants":["blanks_inner_here","blanks_middle_here"],"line":"L1","literals":["domain_here"],"phase":0,"questions":["blanks_inner_here","blanks_middle_here","domain_here"],"read":1,"request_pin":"f6881dfd0e10edc5415b03ff757650fbf25e42b7a030c17c58b36a5e4c163b9f","same_as":null,"twin_of":null,"viewpoint":"v0","window":"FOLD"},{"body":"first","expected":{"blanks_inner_after":"1","boundary_kind":"begins","domain_here":true},"frame_pin":"1d4d12b1332a386df52985bf29de5c12549c28956e1325f0a3d051aebcc5c87c","id":"R01-v0-SEAM~first","invariants":["blanks_inner_after","boundary_kind"],"line":"L1","literals":["domain_here"],"phase":0,"questions":["blanks_inner_after","boundary_kind","domain_here"],"read":1,"request_pin":"c71f691f349d54bcd3584515de60736f82b1ea24df1340e8e0a8ef813fdbb8ac","same_as":null,"twin_of":null,"viewpoint":"v0","window":"SEAM"},{"body":"rule","expected":{"boundary_kind":"begins","domain_here":true},"frame_pin":"2868032eb23ce23895abfec796984edf065d61b988b0694a24a8e052d281d930","id":"R01-v0-SEAM~rule","invariants":["boundary_kind"],"line":"L1","literals":["domain_here"],"phase":0,"questions":["boundary_kind","domain_here"],"read":1,"request_pin":"957bc2f22b6afa7f4305344fe6391c0da870d3d11ca36e29a98bf507756bfd0d","same_as":null,"twin_of":null,"viewpoint":"v0","window":"SEAM"},{"body":"first","expected":{"blanks_inner_fold1":"4","blanks_inner_group_1":"0","blanks_inner_group_2":"0","blanks_inner_group_3":"2","blanks_inner_group_4":"2","blanks_inner_group_5":"0","blanks_inner_group_6":"0","blanks_inner_group_7":"2","blanks_inner_group_8":"2","blanks_middle_fold1":"2","closed":true,"counts_inner_fold1":"0","counts_middle_fold1":"2","domain_gapped":true,"domain_group":"7","gapped_segments":"2","groups_in_row":"4"},"frame_pin":"8ab5b50336cb8ceb2a3747a8171e109070a16d39ca0719556e6538dff19d0674","id":"R01-v1-FULL~first","invariants":["blanks_inner_fold1","blanks_inner_group_1","blanks_inner_group_2","blanks_inner_group_3","blanks_inner_group_4","blanks_inner_group_5","blanks_inner_group_6","blanks_inner_group_7","blanks_inner_group_8","blanks_middle_fold1","closed","counts_inner_fold1","counts_middle_fold1","gapped_segments","groups_in_row"],"line":"L1","literals":["domain_gapped","domain_group"],"phase":0,"questions":["blanks_inner_fold1","blanks_inner_group_1","blanks_inner_group_2","blanks_inner_group_3","blanks_inner_group_4","blanks_inner_group_5","blanks_inner_group_6","blanks_inner_group_7","blanks_inner_group_8","blanks_middle_fold1","closed","counts_inner_fold1","counts_middle_fold1","domain_gapped","domain_group","gapped_segments","groups_in_row"],"read":1,"request_pin":"6e21662dee117f751f051c3d0d0b266a042c0850083e52efa63a02dd57bcc5a6","same_as":null,"twin_of":null,"viewpoint":"v1","window":"FULL"},{"body":"rule","expected":{"closed":true,"domain_gapped":true,"domain_group":"7","gapped_segments":"2","groups_in_row":"4"},"frame_pin":"b5d47efc14556c03b1ed4f0d3dc1c40b7734b60429d4c2be4b85859788003e77","id":"R01-v1-FULL~rule","invariants":["closed","gapped_segments","groups_in_row"],"line":"L1","literals":["domain_gapped","domain_group"],"phase":0,"questions":["closed","domain_gapped","domain_group","gapped_segments","groups_in_row"],"read":1,"request_pin":"efbbc55f5987b05974706ea0aa2d25fb3d48f9eca7c741bce31a2529b34a245a","same_as":null,"twin_of":null,"viewpoint":"v1","window":"FULL"},{"body":"first","expected":{"blanks_inner_here":"0","blanks_middle_here":"0","domain_here":false},"frame_pin":"dac76f1930012ba6992541e3c438ae2a1d442de7ece0cf9d2c4fb2211bea6828","id":"R01-v1-RUN~first","invariants":["blanks_inner_here","blanks_middle_here"],"line":"L1","literals":["domain_here"],"phase":0,"questions":["blanks_inner_here","blanks_middle_here","domain_here"],"read":1,"request_pin":"6ec1f73ce4db5f9959a96f646cda0b3a4c2746af298aa14387b74902bc45a0b9","same_as":null,"twin_of":null,"viewpoint":"v1","window":"RUN"},{"body":"rule","expected":{"blanks_middle_here":"0","domain_here":false},"frame_pin":"9275c7573ba35aab964c75698d0b3697cb04a20f1c488fe60554ac804676edf3","id":"R01-v1-RUN~rule","invariants":["blanks_middle_here"],"line":"L1","literals":["domain_here"],"phase":0,"questions":["blanks_middle_here","domain_here"],"read":1,"request_pin":"0f0dc265911d2985dfb09430f91ad0d25922c27d54f75d3301614f342fd7b180","same_as":null,"twin_of":null,"viewpoint":"v1","window":"RUN"},{"body":"first","expected":{"blanks_inner_after":"0","boundary_kind":"ends","domain_here":false},"frame_pin":"db9e77929d56d88d486bfc5527b5d039133e39971c5f13f15ed1cc6196179cd4","id":"R01-v1-SEAM~first","invariants":["blanks_inner_after","boundary_kind"],"line":"L1","literals":["domain_here"],"phase":0,"questions":["blanks_inner_after","boundary_kind","domain_here"],"read":1,"request_pin":"dbe66c3b00481fea159aab0f8630f64fe3dc74fbddbc431ec42d660383a7acaa","same_as":null,"twin_of":null,"viewpoint":"v1","window":"SEAM"},{"body":"rule","expected":{"boundary_kind":"ends","domain_here":false},"frame_pin":"ac4daa1ce827335da7eae8d7a0895bd10ab33e784e042d81f944ec913e53cf79","id":"R01-v1-SEAM~rule","invariants":["boundary_kind"],"line":"L1","literals":["domain_here"],"phase":0,"questions":["boundary_kind","domain_here"],"read":1,"request_pin":"84440ef42cb538da2d2e73b30ae1b755b9e3a9b4e791b8976c947ce7bc8a0132","same_as":null,"twin_of":null,"viewpoint":"v1","window":"SEAM"},{"body":"first","expected":{"blanks_inner_fold1":"4","blanks_inner_group_1":"2","blanks_inner_group_2":"2","blanks_inner_group_3":"0","blanks_inner_group_4":"0","blanks_inner_group_5":"2","blanks_inner_group_6":"2","blanks_inner_group_7":"0","blanks_inner_group_8":"0","blanks_middle_fold1":"2","closed":true,"counts_inner_fold1":"0","counts_middle_fold1":"2","domain_gapped":true,"domain_group":"5","gapped_segments":"2","groups_in_row":"4"},"frame_pin":"e1a3ece850b4676706d812a9415609b86fc8f73b7f7a53895530aa9417003dc4","id":"R01-v2-FULL~first","invariants":["blanks_inner_fold1","blanks_inner_group_1","blanks_inner_group_2","blanks_inner_group_3","blanks_inner_group_4","blanks_inner_group_5","blanks_inner_group_6","blanks_inner_group_7","blanks_inner_group_8","blanks_middle_fold1","closed","counts_inner_fold1","counts_middle_fold1","gapped_segments","groups_in_row"],"line":"L1","literals":["domain_gapped","domain_group"],"phase":0,"questions":["blanks_inner_fold1","blanks_inner_group_1","blanks_inner_group_2","blanks_inner_group_3","blanks_inner_group_4","blanks_inner_group_5","blanks_inner_group_6","blanks_inner_group_7","blanks_inner_group_8","blanks_middle_fold1","closed","counts_inner_fold1","counts_middle_fold1","domain_gapped","domain_group","gapped_segments","groups_in_row"],"read":1,"request_pin":"1899141b949212e356c0e030b2f954846a9bf12953c911c02af67881cde62c9b","same_as":null,"twin_of":null,"viewpoint":"v2","window":"FULL"},{"body":"rule","expected":{"closed":true,"domain_gapped":true,"domain_group":"5","gapped_segments":"2","groups_in_row":"4"},"frame_pin":"e301cdf9fa15d0913cb6acf2621c2196fc81207758386735860d031bbf414115","id":"R01-v2-FULL~rule","invariants":["closed","gapped_segments","groups_in_row"],"line":"L1","literals":["domain_gapped","domain_group"],"phase":0,"questions":["closed","domain_gapped","domain_group","gapped_segments","groups_in_row"],"read":1,"request_pin":"37193fbb4176e3f15859649bb160e83b4777dfa216624af29a905f7ee1943f51","same_as":null,"twin_of":null,"viewpoint":"v2","window":"FULL"},{"body":"first","expected":{"blanks_inner_here":"4","blanks_middle_here":"2","counts_inner_here":"0","counts_middle_here":"2","domain_here":false},"frame_pin":"a37eb87ed20c47ab2be00c08f6e30470c0f3aac2ba3e6f530a881bb734b3a8f9","id":"R01-v2-FOLD~first","invariants":["blanks_inner_here","blanks_middle_here","counts_inner_here","counts_middle_here"],"line":"L1","literals":["domain_here"],"phase":0,"questions":["blanks_inner_here","blanks_middle_here","counts_inner_here","counts_middle_here","domain_here"],"read":1,"request_pin":"6093a94da63b1a874911165e893b99844da20b2abfee951333c5facd04e5c2d7","same_as":null,"twin_of":null,"viewpoint":"v2","window":"FOLD"},{"body":"rule","expected":{"blanks_inner_here":"4","blanks_middle_here":"2","domain_here":false},"frame_pin":"de685ebdec54593c419b5b3920a10e45ee31d1ebf18a199222e2ab549803c339","id":"R01-v2-FOLD~rule","invariants":["blanks_inner_here","blanks_middle_here"],"line":"L1","literals":["domain_here"],"phase":0,"questions":["blanks_inner_here","blanks_middle_here","domain_here"],"read":1,"request_pin":"1be76b4cfb19c6752829f0ee744fa2fdc4a7eea2089e72ae583db8599aad2cd6","same_as":null,"twin_of":null,"viewpoint":"v2","window":"FOLD"},{"body":"first","expected":{"blanks_inner_after":"1","boundary_kind":"begins","domain_here":false},"frame_pin":"70ad55fdc76dfa75d0acb273991784a7418196e5433931ac4e723fe51f70dac5","id":"R01-v2-SEAM~first","invariants":["blanks_inner_after","boundary_kind"],"line":"L1","literals":["domain_here"],"phase":0,"questions":["blanks_inner_after","boundary_kind","domain_here"],"read":1,"request_pin":"1105a6f66208a68ab7207f790e728bdf06cfe92a9c0d50d318bbb0d64a158111","same_as":null,"twin_of":null,"viewpoint":"v2","window":"SEAM"},{"body":"rule","expected":{"boundary_kind":"begins","domain_here":false},"frame_pin":"b5bc755ebd027eadc58844624f25b8c558e066c40d062e96ca277d05da3b3f60","id":"R01-v2-SEAM~rule","invariants":["boundary_kind"],"line":"L1","literals":["domain_here"],"phase":0,"questions":["boundary_kind","domain_here"],"read":1,"request_pin":"a7ea6d31f788d05c173b1e24b09dc5660515b5b48a5e751672203788d59272fe","same_as":null,"twin_of":null,"viewpoint":"v2","window":"SEAM"},{"body":"first","expected":{"blanks_inner_fold1":"4","blanks_inner_group_1":"0","blanks_inner_group_2":"0","blanks_inner_group_3":"2","blanks_inner_group_4":"2","blanks_inner_group_5":"0","blanks_inner_group_6":"0","blanks_inner_group_7":"2","blanks_inner_group_8":"2","blanks_middle_fold1":"2","closed":true,"counts_inner_fold1":"0","counts_middle_fold1":"2","domain_gapped":true,"domain_group":"3","gapped_segments":"2","groups_in_row":"4"},"frame_pin":"d785db5fb505804429cedaba2a0dfc7fe73d99e649ddc18ddc137522011c3fab","id":"R01-v3-FULL~first","invariants":["blanks_inner_fold1","blanks_inner_group_1","blanks_inner_group_2","blanks_inner_group_3","blanks_inner_group_4","blanks_inner_group_5","blanks_inner_group_6","blanks_inner_group_7","blanks_inner_group_8","blanks_middle_fold1","closed","counts_inner_fold1","counts_middle_fold1","gapped_segments","groups_in_row"],"line":"L1","literals":["domain_gapped","domain_group"],"phase":0,"questions":["blanks_inner_fold1","blanks_inner_group_1","blanks_inner_group_2","blanks_inner_group_3","blanks_inner_group_4","blanks_inner_group_5","blanks_inner_group_6","blanks_inner_group_7","blanks_inner_group_8","blanks_middle_fold1","closed","counts_inner_fold1","counts_middle_fold1","domain_gapped","domain_group","gapped_segments","groups_in_row"],"read":1,"request_pin":"29c1e07d6de204a22bd9980038cae1134bb20aeb68dc6941de952899f9086ab2","same_as":null,"twin_of":null,"viewpoint":"v3","window":"FULL"},{"body":"rule","expected":{"closed":true,"domain_gapped":true,"domain_group":"3","gapped_segments":"2","groups_in_row":"4"},"frame_pin":"f77ffcf10d1e9e3ab4536d397feb59f911f69f8d41991ab3db17de97db072288","id":"R01-v3-FULL~rule","invariants":["closed","gapped_segments","groups_in_row"],"line":"L1","literals":["domain_gapped","domain_group"],"phase":0,"questions":["closed","domain_gapped","domain_group","gapped_segments","groups_in_row"],"read":1,"request_pin":"df13e86c9bfe754769c46c98e4eb7741200afc2b4b40732499d61b60f6cebd51","same_as":null,"twin_of":null,"viewpoint":"v3","window":"FULL"},{"body":"first","expected":{"blanks_inner_here":"0","blanks_middle_here":"0","domain_here":false},"frame_pin":"dac76f1930012ba6992541e3c438ae2a1d442de7ece0cf9d2c4fb2211bea6828","id":"R01-v3-RUN~first","invariants":["blanks_inner_here","blanks_middle_here"],"line":"L1","literals":["domain_here"],"phase":0,"questions":["blanks_inner_here","blanks_middle_here","domain_here"],"read":1,"request_pin":"6ec1f73ce4db5f9959a96f646cda0b3a4c2746af298aa14387b74902bc45a0b9","same_as":"R01-v1-RUN~first","twin_of":"R01-v1-RUN~first","viewpoint":"v3","window":"RUN"},{"body":"rule","expected":{"blanks_middle_here":"0","domain_here":false},"frame_pin":"9275c7573ba35aab964c75698d0b3697cb04a20f1c488fe60554ac804676edf3","id":"R01-v3-RUN~rule","invariants":["blanks_middle_here"],"line":"L1","literals":["domain_here"],"phase":0,"questions":["blanks_middle_here","domain_here"],"read":1,"request_pin":"0f0dc265911d2985dfb09430f91ad0d25922c27d54f75d3301614f342fd7b180","same_as":"R01-v1-RUN~rule","twin_of":"R01-v1-RUN~rule","viewpoint":"v3","window":"RUN"},{"body":"first","expected":{"blanks_inner_after":"0","boundary_kind":"ends","domain_here":false},"frame_pin":"91adca5531ad1700b81f863835ec49606ccfeea81b60028053c455738cf682b2","id":"R01-v3-SEAM~first","invariants":["blanks_inner_after","boundary_kind"],"line":"L1","literals":["domain_here"],"phase":0,"questions":["blanks_inner_after","boundary_kind","domain_here"],"read":1,"request_pin":"67c44e1cce930b2df58528462095c46db72181d48fb4c0034dd41efb3bda7539","same_as":null,"twin_of":null,"viewpoint":"v3","window":"SEAM"},{"body":"rule","expected":{"boundary_kind":"ends","domain_here":false},"frame_pin":"d94f590d0af390567aa94b90f41d0467b1046a22a55d0898de2051b5f9ac9367","id":"R01-v3-SEAM~rule","invariants":["boundary_kind"],"line":"L1","literals":["domain_here"],"phase":0,"questions":["boundary_kind","domain_here"],"read":1,"request_pin":"407342c66487442bd301d395f26964d656943f8b7933b5b4cf75dc3b8bf2846b","same_as":null,"twin_of":null,"viewpoint":"v3","window":"SEAM"},{"body":"first","expected":{"blanks_inner_fold1":"4","blanks_inner_group_1":"2","blanks_inner_group_2":"2","blanks_inner_group_3":"0","blanks_inner_group_4":"0","blanks_inner_group_5":"2","blanks_inner_group_6":"2","blanks_inner_group_7":"0","blanks_inner_group_8":"0","blanks_middle_fold1":"2","closed":true,"counts_inner_fold1":"0","counts_middle_fold1":"2","domain_gapped":true,"domain_group":"5","gapped_segments":"2","groups_in_row":"4"},"frame_pin":"585b6933341b5e1dbce3f88996dac376ffea71615939b10191dc350dceec970b","id":"R02-v0-FULL~first","invariants":["blanks_inner_fold1","blanks_inner_group_1","blanks_inner_group_2","blanks_inner_group_3","blanks_inner_group_4","blanks_inner_group_5","blanks_inner_group_6","blanks_inner_group_7","blanks_inner_group_8","blanks_middle_fold1","closed","counts_inner_fold1","counts_middle_fold1","gapped_segments","groups_in_row"],"line":"L1","literals":["domain_gapped","domain_group"],"phase":32,"questions":["blanks_inner_fold1","blanks_inner_group_1","blanks_inner_group_2","blanks_inner_group_3","blanks_inner_group_4","blanks_inner_group_5","blanks_inner_group_6","blanks_inner_group_7","blanks_inner_group_8","blanks_middle_fold1","closed","counts_inner_fold1","counts_middle_fold1","domain_gapped","domain_group","gapped_segments","groups_in_row"],"read":2,"request_pin":"56ca4878250c88b72d4cde83629e6751c462cd6957f0d6f37cd37200ce0400cb","same_as":null,"twin_of":null,"viewpoint":"v0","window":"FULL"},{"body":"rule","expected":{"closed":true,"domain_gapped":true,"domain_group":"5","gapped_segments":"2","groups_in_row":"4"},"frame_pin":"0354c6c05301c8ceb2718d3f54cc158fb8922f62aaf183946633f052aa819a1c","id":"R02-v0-FULL~rule","invariants":["closed","gapped_segments","groups_in_row"],"line":"L1","literals":["domain_gapped","domain_group"],"phase":32,"questions":["closed","domain_gapped","domain_group","gapped_segments","groups_in_row"],"read":2,"request_pin":"ed8aa88359288ca6e78dc7a034a87d5c4dffec45f249b573e36cb5d0532d3d7d","same_as":null,"twin_of":null,"viewpoint":"v0","window":"FULL"},{"body":"pair","expected":{"direction":{"plausible":["forward","back"]},"domain_group":"5","moved_groups":"4","returns_soon":true},"frame_pin":"793b23c1c40550b38bbf6deeb8c9218cba574c806036f2bc1812806b26f62e27","id":"R02-v0-FULL~pair","invariants":[],"line":"L1","literals":["direction","domain_group","moved_groups","returns_soon"],"phase":32,"questions":["direction","domain_group","moved_groups","returns_soon"],"read":2,"request_pin":"dd80493ff965a31ccf1dd2e00f6a796f6102b88be1d3e42796b287ec05f51bd6","same_as":null,"twin_of":null,"viewpoint":"v0","window":"FULL"},{"body":"first","expected":{"blanks_inner_here":"4","blanks_middle_here":"2","counts_inner_here":"0","counts_middle_here":"2","domain_here":false},"frame_pin":"0734d0f01441f74a001888047c8a9aca707f9566efcb8a5ddae436372e10478d","id":"R02-v0-FOLD~first","invariants":["blanks_inner_here","blanks_middle_here","counts_inner_here","counts_middle_here"],"line":"L1","literals":["domain_here"],"phase":32,"questions":["blanks_inner_here","blanks_middle_here","counts_inner_here","counts_middle_here","domain_here"],"read":2,"request_pin":"2538ab960dc81d518b8d18cc0474a3d591365cb8558b100a4dba6c505f03fc45","same_as":null,"twin_of":null,"viewpoint":"v0","window":"FOLD"},{"body":"rule","expected":{"blanks_inner_here":"4","blanks_middle_here":"2","domain_here":false},"frame_pin":"de85aa29e3a8bdc2390a8b5f4c7c9fa661dad8df20110fce9e2c3db2d34e2524","id":"R02-v0-FOLD~rule","invariants":["blanks_inner_here","blanks_middle_here"],"line":"L1","literals":["domain_here"],"phase":32,"questions":["blanks_inner_here","blanks_middle_here","domain_here"],"read":2,"request_pin":"aa7ec6301f9d51f9db970ffe4bb9a5cdd947a17446c6b4616bf7b7417c8148a2","same_as":null,"twin_of":null,"viewpoint":"v0","window":"FOLD"},{"body":"pair","expected":{"domain_here":false},"frame_pin":"fa704b5e6c50ac3287b9e94859b1585a768a6c634ba4e22d6a60ce1bbd387eb9","id":"R02-v0-FOLD~pair","invariants":[],"line":"L1","literals":["domain_here"],"phase":32,"questions":["domain_here"],"read":2,"request_pin":"097fd1539eef9b71ef3642ff9075d162c9075e655691ba08e63ed0dda6aaa4e8","same_as":null,"twin_of":null,"viewpoint":"v0","window":"FOLD"},{"body":"first","expected":{"blanks_inner_after":"1","boundary_kind":"begins","domain_here":false},"frame_pin":"406e5527a0b9e67e829411939f124db9bb6c730bee8ef4641e3f02502244a625","id":"R02-v0-SEAM~first","invariants":["blanks_inner_after","boundary_kind"],"line":"L1","literals":["domain_here"],"phase":32,"questions":["blanks_inner_after","boundary_kind","domain_here"],"read":2,"request_pin":"fa3c4a1ce49fef2d39f7eed81c06eb103bdf7b4789807d7a1a608bdf5aec3844","same_as":null,"twin_of":null,"viewpoint":"v0","window":"SEAM"},{"body":"rule","expected":{"boundary_kind":"begins","domain_here":false},"frame_pin":"d974e5d16b6b8e9abd77342bebfe5790828fae3ad26dd514c099bed58f6a0eb4","id":"R02-v0-SEAM~rule","invariants":["boundary_kind"],"line":"L1","literals":["domain_here"],"phase":32,"questions":["boundary_kind","domain_here"],"read":2,"request_pin":"96766b2bd69979dd4c94ac23a9948210b426c8f9d9688f3d9822a3bf679c54e3","same_as":null,"twin_of":null,"viewpoint":"v0","window":"SEAM"},{"body":"pair","expected":{"domain_here":false},"frame_pin":"6f95188e53a8b69f911b0d5fdd2c6c75cbd60579c995fd64f40c446951f3f133","id":"R02-v0-SEAM~pair","invariants":[],"line":"L1","literals":["domain_here"],"phase":32,"questions":["domain_here"],"read":2,"request_pin":"ed935d6f2d73cfdc7fabeb495b1ef708b5cf5c7a3317fd34040d484b6f05f3ff","same_as":null,"twin_of":null,"viewpoint":"v0","window":"SEAM"},{"body":"first","expected":{"blanks_inner_fold1":"4","blanks_inner_group_1":"0","blanks_inner_group_2":"0","blanks_inner_group_3":"2","blanks_inner_group_4":"2","blanks_inner_group_5":"0","blanks_inner_group_6":"0","blanks_inner_group_7":"2","blanks_inner_group_8":"2","blanks_middle_fold1":"2","closed":true,"counts_inner_fold1":"0","counts_middle_fold1":"2","domain_gapped":true,"domain_group":"3","gapped_segments":"2","groups_in_row":"4"},"frame_pin":"e7084b0db0a6655cd4d7fa7026da2da9264de96e104b6855d84534217a02cf19","id":"R02-v1-FULL~first","invariants":["blanks_inner_fold1","blanks_inner_group_1","blanks_inner_group_2","blanks_inner_group_3","blanks_inner_group_4","blanks_inner_group_5","blanks_inner_group_6","blanks_inner_group_7","blanks_inner_group_8","blanks_middle_fold1","closed","counts_inner_fold1","counts_middle_fold1","gapped_segments","groups_in_row"],"line":"L1","literals":["domain_gapped","domain_group"],"phase":32,"questions":["blanks_inner_fold1","blanks_inner_group_1","blanks_inner_group_2","blanks_inner_group_3","blanks_inner_group_4","blanks_inner_group_5","blanks_inner_group_6","blanks_inner_group_7","blanks_inner_group_8","blanks_middle_fold1","closed","counts_inner_fold1","counts_middle_fold1","domain_gapped","domain_group","gapped_segments","groups_in_row"],"read":2,"request_pin":"51027ba894e04735e3cad603db18d9be1a475e2ddcec6e11ff265bf7117db704","same_as":null,"twin_of":null,"viewpoint":"v1","window":"FULL"},{"body":"rule","expected":{"closed":true,"domain_gapped":true,"domain_group":"3","gapped_segments":"2","groups_in_row":"4"},"frame_pin":"dcdeedb1cbc5dcd8c9189f227c30866feb88d9768828bd9bb7efd0e40f40a9da","id":"R02-v1-FULL~rule","invariants":["closed","gapped_segments","groups_in_row"],"line":"L1","literals":["domain_gapped","domain_group"],"phase":32,"questions":["closed","domain_gapped","domain_group","gapped_segments","groups_in_row"],"read":2,"request_pin":"a1d90068c57a91c5c5b5394c498163590d5e0367916f70a7d347932074d02851","same_as":null,"twin_of":null,"viewpoint":"v1","window":"FULL"},{"body":"pair","expected":{"direction":{"plausible":["forward","back"]},"domain_group":"3","moved_groups":"4","returns_soon":true},"frame_pin":"9ac74b36bf61f28023361532d3789150d43b1f4c7e7ef15b3024980f0696a1c8","id":"R02-v1-FULL~pair","invariants":[],"line":"L1","literals":["direction","domain_group","moved_groups","returns_soon"],"phase":32,"questions":["direction","domain_group","moved_groups","returns_soon"],"read":2,"request_pin":"16b2966af6df7c855df358a7a51c38779318ab82cd4e04430ef05e21b648230f","same_as":null,"twin_of":null,"viewpoint":"v1","window":"FULL"},{"body":"first","expected":{"blanks_inner_here":"0","blanks_middle_here":"0","domain_here":false},"frame_pin":"dac76f1930012ba6992541e3c438ae2a1d442de7ece0cf9d2c4fb2211bea6828","id":"R02-v1-RUN~first","invariants":["blanks_inner_here","blanks_middle_here"],"line":"L1","literals":["domain_here"],"phase":32,"questions":["blanks_inner_here","blanks_middle_here","domain_here"],"read":2,"request_pin":"6ec1f73ce4db5f9959a96f646cda0b3a4c2746af298aa14387b74902bc45a0b9","same_as":null,"twin_of":"R01-v1-RUN~first","viewpoint":"v1","window":"RUN"},{"body":"rule","expected":{"blanks_middle_here":"0","domain_here":false},"frame_pin":"9275c7573ba35aab964c75698d0b3697cb04a20f1c488fe60554ac804676edf3","id":"R02-v1-RUN~rule","invariants":["blanks_middle_here"],"line":"L1","literals":["domain_here"],"phase":32,"questions":["blanks_middle_here","domain_here"],"read":2,"request_pin":"0f0dc265911d2985dfb09430f91ad0d25922c27d54f75d3301614f342fd7b180","same_as":null,"twin_of":"R01-v1-RUN~rule","viewpoint":"v1","window":"RUN"},{"body":"pair","expected":{"domain_here":false},"frame_pin":"7b089a6b51876cad1150e37a0843c0eb7ab7726bda681c717d635caa4048c311","id":"R02-v1-RUN~pair","invariants":[],"line":"L1","literals":["domain_here"],"phase":32,"questions":["domain_here"],"read":2,"request_pin":"f632beb0049797fb55646f6997050c5130b0c8428ec8890f58d6bd5221eea208","same_as":null,"twin_of":null,"viewpoint":"v1","window":"RUN"},{"body":"first","expected":{"blanks_inner_after":"0","boundary_kind":"ends","domain_here":false},"frame_pin":"db9e77929d56d88d486bfc5527b5d039133e39971c5f13f15ed1cc6196179cd4","id":"R02-v1-SEAM~first","invariants":["blanks_inner_after","boundary_kind"],"line":"L1","literals":["domain_here"],"phase":32,"questions":["blanks_inner_after","boundary_kind","domain_here"],"read":2,"request_pin":"dbe66c3b00481fea159aab0f8630f64fe3dc74fbddbc431ec42d660383a7acaa","same_as":null,"twin_of":"R01-v1-SEAM~first","viewpoint":"v1","window":"SEAM"},{"body":"rule","expected":{"boundary_kind":"ends","domain_here":false},"frame_pin":"ac4daa1ce827335da7eae8d7a0895bd10ab33e784e042d81f944ec913e53cf79","id":"R02-v1-SEAM~rule","invariants":["boundary_kind"],"line":"L1","literals":["domain_here"],"phase":32,"questions":["boundary_kind","domain_here"],"read":2,"request_pin":"84440ef42cb538da2d2e73b30ae1b755b9e3a9b4e791b8976c947ce7bc8a0132","same_as":null,"twin_of":"R01-v1-SEAM~rule","viewpoint":"v1","window":"SEAM"},{"body":"pair","expected":{"domain_here":false},"frame_pin":"bae74bc6ae1f81a6cd0664b797970e8db7023358094248bddf0cba9246e5d535","id":"R02-v1-SEAM~pair","invariants":[],"line":"L1","literals":["domain_here"],"phase":32,"questions":["domain_here"],"read":2,"request_pin":"5bce30290a59d81c2ad7733bf192f44ec959077e4401f56bdd512a911e6a98b8","same_as":null,"twin_of":null,"viewpoint":"v1","window":"SEAM"},{"body":"first","expected":{"blanks_inner_fold1":"4","blanks_inner_group_1":"2","blanks_inner_group_2":"2","blanks_inner_group_3":"0","blanks_inner_group_4":"0","blanks_inner_group_5":"2","blanks_inner_group_6":"2","blanks_inner_group_7":"0","blanks_inner_group_8":"0","blanks_middle_fold1":"2","closed":true,"counts_inner_fold1":"0","counts_middle_fold1":"2","domain_gapped":true,"domain_group":"1","gapped_segments":"2","groups_in_row":"4"},"frame_pin":"bb4cf6dd35ea507f93f24a8c94f9522213dec6c5c0472b52aec1cc51335bd703","id":"R02-v2-FULL~first","invariants":["blanks_inner_fold1","blanks_inner_group_1","blanks_inner_group_2","blanks_inner_group_3","blanks_inner_group_4","blanks_inner_group_5","blanks_inner_group_6","blanks_inner_group_7","blanks_inner_group_8","blanks_middle_fold1","closed","counts_inner_fold1","counts_middle_fold1","gapped_segments","groups_in_row"],"line":"L1","literals":["domain_gapped","domain_group"],"phase":32,"questions":["blanks_inner_fold1","blanks_inner_group_1","blanks_inner_group_2","blanks_inner_group_3","blanks_inner_group_4","blanks_inner_group_5","blanks_inner_group_6","blanks_inner_group_7","blanks_inner_group_8","blanks_middle_fold1","closed","counts_inner_fold1","counts_middle_fold1","domain_gapped","domain_group","gapped_segments","groups_in_row"],"read":2,"request_pin":"5c844852fbe7d0fa3dee3376a1d80b67239d4f87d5c7a049ddab6f23cf506458","same_as":null,"twin_of":null,"viewpoint":"v2","window":"FULL"},{"body":"rule","expected":{"closed":true,"domain_gapped":true,"domain_group":"1","gapped_segments":"2","groups_in_row":"4"},"frame_pin":"11862fd2b9c3ae226584efe99b0079e496185fa5cdd8811e1317755324e090d7","id":"R02-v2-FULL~rule","invariants":["closed","gapped_segments","groups_in_row"],"line":"L1","literals":["domain_gapped","domain_group"],"phase":32,"questions":["closed","domain_gapped","domain_group","gapped_segments","groups_in_row"],"read":2,"request_pin":"601ccf5b1efaf56dffd91cf4634666c305c5d4eb1a7a005a060c7224f700f4a9","same_as":null,"twin_of":null,"viewpoint":"v2","window":"FULL"},{"body":"pair","expected":{"direction":{"plausible":["forward","back"]},"domain_group":"1","moved_groups":"4","returns_soon":true},"frame_pin":"3b6a9edacfa2a7f80955558881bc9da4da0ebd40f61d429c13cfff241fa78b6b","id":"R02-v2-FULL~pair","invariants":[],"line":"L1","literals":["direction","domain_group","moved_groups","returns_soon"],"phase":32,"questions":["direction","domain_group","moved_groups","returns_soon"],"read":2,"request_pin":"2e9e7273ac3e6ab02d69267e4ce2c30c8c98d7b2ec85729b01858c2a25b7397a","same_as":null,"twin_of":null,"viewpoint":"v2","window":"FULL"},{"body":"first","expected":{"blanks_inner_here":"4","blanks_middle_here":"2","counts_inner_here":"0","counts_middle_here":"2","domain_here":true},"frame_pin":"07f6bd1519c6a12196df87587954e15cef6a870a13f3bd2c833e47849e88b3e5","id":"R02-v2-FOLD~first","invariants":["blanks_inner_here","blanks_middle_here","counts_inner_here","counts_middle_here"],"line":"L1","literals":["domain_here"],"phase":32,"questions":["blanks_inner_here","blanks_middle_here","counts_inner_here","counts_middle_here","domain_here"],"read":2,"request_pin":"4209585e6f1fee8a2f753db53ed6eec2069ccdc822f5badf8abe3ece46d846fe","same_as":null,"twin_of":null,"viewpoint":"v2","window":"FOLD"},{"body":"rule","expected":{"blanks_inner_here":"4","blanks_middle_here":"2","domain_here":true},"frame_pin":"c07b2352e25e69c75d31697f8375be6f9c9d7ac87d33872a457a834ff310b041","id":"R02-v2-FOLD~rule","invariants":["blanks_inner_here","blanks_middle_here"],"line":"L1","literals":["domain_here"],"phase":32,"questions":["blanks_inner_here","blanks_middle_here","domain_here"],"read":2,"request_pin":"9754a9c74898ebf727254b68391c2017f373f33c551e9e2a27e9d7b6774c5591","same_as":null,"twin_of":null,"viewpoint":"v2","window":"FOLD"},{"body":"pair","expected":{"domain_here":true},"frame_pin":"a55e8d0c5bff7ae278703a5efaf744c79f88f756cc48d2761d44da9fcc0990b7","id":"R02-v2-FOLD~pair","invariants":[],"line":"L1","literals":["domain_here"],"phase":32,"questions":["domain_here"],"read":2,"request_pin":"253497e728433597d15f997f447f5c3c337fa272c185df64aaeb979da5519c44","same_as":null,"twin_of":null,"viewpoint":"v2","window":"FOLD"},{"body":"first","expected":{"blanks_inner_after":"1","boundary_kind":"begins","domain_here":true},"frame_pin":"da5ea9699dda633fcc5d6116e107ab24ef3c7949a43213c070abdd3c0a435ea2","id":"R02-v2-SEAM~first","invariants":["blanks_inner_after","boundary_kind"],"line":"L1","literals":["domain_here"],"phase":32,"questions":["blanks_inner_after","boundary_kind","domain_here"],"read":2,"request_pin":"01165380410c9d18e8e861675e6733655314c3e8b6008469acace2ce5f42264f","same_as":null,"twin_of":null,"viewpoint":"v2","window":"SEAM"},{"body":"rule","expected":{"boundary_kind":"begins","domain_here":true},"frame_pin":"bc1cc4c550dc5611c5c48ae3f675f4bcd100a004bcf5206cc4d6b782d29d6bea","id":"R02-v2-SEAM~rule","invariants":["boundary_kind"],"line":"L1","literals":["domain_here"],"phase":32,"questions":["boundary_kind","domain_here"],"read":2,"request_pin":"81f8c7daaa223b962928c9e39ef04def227938c4a840effba7d7e3cb53e32b88","same_as":null,"twin_of":null,"viewpoint":"v2","window":"SEAM"},{"body":"pair","expected":{"domain_here":true},"frame_pin":"818f8e481a954506ef39b17b156ea95b57d14c671c19e9fa956fefb8c531c943","id":"R02-v2-SEAM~pair","invariants":[],"line":"L1","literals":["domain_here"],"phase":32,"questions":["domain_here"],"read":2,"request_pin":"813dd4fe734271fffd19b00e051bb9992ef309b4200051f2f9394af5b0183e4d","same_as":null,"twin_of":null,"viewpoint":"v2","window":"SEAM"},{"body":"first","expected":{"blanks_inner_fold1":"4","blanks_inner_group_1":"0","blanks_inner_group_2":"0","blanks_inner_group_3":"2","blanks_inner_group_4":"2","blanks_inner_group_5":"0","blanks_inner_group_6":"0","blanks_inner_group_7":"2","blanks_inner_group_8":"2","blanks_middle_fold1":"2","closed":true,"counts_inner_fold1":"0","counts_middle_fold1":"2","domain_gapped":true,"domain_group":"7","gapped_segments":"2","groups_in_row":"4"},"frame_pin":"0fd912cc3f902fd54aa58be5f5184e03fa1a50b4c76e6d2bf4a42f009ec9789b","id":"R02-v3-FULL~first","invariants":["blanks_inner_fold1","blanks_inner_group_1","blanks_inner_group_2","blanks_inner_group_3","blanks_inner_group_4","blanks_inner_group_5","blanks_inner_group_6","blanks_inner_group_7","blanks_inner_group_8","blanks_middle_fold1","closed","counts_inner_fold1","counts_middle_fold1","gapped_segments","groups_in_row"],"line":"L1","literals":["domain_gapped","domain_group"],"phase":32,"questions":["blanks_inner_fold1","blanks_inner_group_1","blanks_inner_group_2","blanks_inner_group_3","blanks_inner_group_4","blanks_inner_group_5","blanks_inner_group_6","blanks_inner_group_7","blanks_inner_group_8","blanks_middle_fold1","closed","counts_inner_fold1","counts_middle_fold1","domain_gapped","domain_group","gapped_segments","groups_in_row"],"read":2,"request_pin":"9eaa5ee623d5495a17d592ac2b00c406f766daeba4c34622308091f7ae7d6cd4","same_as":null,"twin_of":null,"viewpoint":"v3","window":"FULL"},{"body":"rule","expected":{"closed":true,"domain_gapped":true,"domain_group":"7","gapped_segments":"2","groups_in_row":"4"},"frame_pin":"b0dda1bc7957e6d542d8509454825c229ce659f07fec6aad1be44fb4843e5d47","id":"R02-v3-FULL~rule","invariants":["closed","gapped_segments","groups_in_row"],"line":"L1","literals":["domain_gapped","domain_group"],"phase":32,"questions":["closed","domain_gapped","domain_group","gapped_segments","groups_in_row"],"read":2,"request_pin":"80024e73b0cebfa558ed4f3117bc29fd2f0702a02335331b46196760cc970322","same_as":null,"twin_of":null,"viewpoint":"v3","window":"FULL"},{"body":"pair","expected":{"direction":{"plausible":["forward","back"]},"domain_group":"7","moved_groups":"4","returns_soon":true},"frame_pin":"48e6f241469978737c3e317e8dbfea10e5102fa2b7a22c209ea94cc4e56a0b89","id":"R02-v3-FULL~pair","invariants":[],"line":"L1","literals":["direction","domain_group","moved_groups","returns_soon"],"phase":32,"questions":["direction","domain_group","moved_groups","returns_soon"],"read":2,"request_pin":"1f115aeffc963845eb58a932c26a8efbd19adaece8b03d871ef2d0b4d2282129","same_as":null,"twin_of":null,"viewpoint":"v3","window":"FULL"},{"body":"first","expected":{"blanks_inner_here":"0","blanks_middle_here":"0","domain_here":false},"frame_pin":"dac76f1930012ba6992541e3c438ae2a1d442de7ece0cf9d2c4fb2211bea6828","id":"R02-v3-RUN~first","invariants":["blanks_inner_here","blanks_middle_here"],"line":"L1","literals":["domain_here"],"phase":32,"questions":["blanks_inner_here","blanks_middle_here","domain_here"],"read":2,"request_pin":"6ec1f73ce4db5f9959a96f646cda0b3a4c2746af298aa14387b74902bc45a0b9","same_as":"R02-v1-RUN~first","twin_of":"R01-v1-RUN~first","viewpoint":"v3","window":"RUN"},{"body":"rule","expected":{"blanks_middle_here":"0","domain_here":false},"frame_pin":"9275c7573ba35aab964c75698d0b3697cb04a20f1c488fe60554ac804676edf3","id":"R02-v3-RUN~rule","invariants":["blanks_middle_here"],"line":"L1","literals":["domain_here"],"phase":32,"questions":["blanks_middle_here","domain_here"],"read":2,"request_pin":"0f0dc265911d2985dfb09430f91ad0d25922c27d54f75d3301614f342fd7b180","same_as":"R02-v1-RUN~rule","twin_of":"R01-v1-RUN~rule","viewpoint":"v3","window":"RUN"},{"body":"pair","expected":{"domain_here":false},"frame_pin":"7b089a6b51876cad1150e37a0843c0eb7ab7726bda681c717d635caa4048c311","id":"R02-v3-RUN~pair","invariants":[],"line":"L1","literals":["domain_here"],"phase":32,"questions":["domain_here"],"read":2,"request_pin":"f632beb0049797fb55646f6997050c5130b0c8428ec8890f58d6bd5221eea208","same_as":"R02-v1-RUN~pair","twin_of":"R02-v1-RUN~pair","viewpoint":"v3","window":"RUN"},{"body":"first","expected":{"blanks_inner_after":"0","boundary_kind":"ends","domain_here":false},"frame_pin":"91adca5531ad1700b81f863835ec49606ccfeea81b60028053c455738cf682b2","id":"R02-v3-SEAM~first","invariants":["blanks_inner_after","boundary_kind"],"line":"L1","literals":["domain_here"],"phase":32,"questions":["blanks_inner_after","boundary_kind","domain_here"],"read":2,"request_pin":"67c44e1cce930b2df58528462095c46db72181d48fb4c0034dd41efb3bda7539","same_as":null,"twin_of":"R01-v3-SEAM~first","viewpoint":"v3","window":"SEAM"},{"body":"rule","expected":{"boundary_kind":"ends","domain_here":false},"frame_pin":"d94f590d0af390567aa94b90f41d0467b1046a22a55d0898de2051b5f9ac9367","id":"R02-v3-SEAM~rule","invariants":["boundary_kind"],"line":"L1","literals":["domain_here"],"phase":32,"questions":["boundary_kind","domain_here"],"read":2,"request_pin":"407342c66487442bd301d395f26964d656943f8b7933b5b4cf75dc3b8bf2846b","same_as":null,"twin_of":"R01-v3-SEAM~rule","viewpoint":"v3","window":"SEAM"},{"body":"pair","expected":{"domain_here":false},"frame_pin":"7e3b8866f248413bf2c538464d8a10d8d658c0a3a7fb9c2398008c744f2fe05c","id":"R02-v3-SEAM~pair","invariants":[],"line":"L1","literals":["domain_here"],"phase":32,"questions":["domain_here"],"read":2,"request_pin":"71c56a2f74a5f6e602dd9d639f670774b04cec49fb6fa7f0b0075d252c14a9cd","same_as":null,"twin_of":null,"viewpoint":"v3","window":"SEAM"},{"body":"first","expected":{"blanks_inner_fold1":"4","blanks_inner_group_1":"2","blanks_inner_group_2":"2","blanks_inner_group_3":"0","blanks_inner_group_4":"0","blanks_inner_group_5":"2","blanks_inner_group_6":"2","blanks_inner_group_7":"0","blanks_inner_group_8":"0","blanks_middle_fold1":"2","closed":true,"counts_inner_fold1":"0","counts_middle_fold1":"2","domain_gapped":true,"domain_group":"1","gapped_segments":"2","groups_in_row":"4"},"frame_pin":"937e4e3afe8de8ec64b28d863f539e90f59207f62147ac18ef85149cf2c523bc","id":"R03-v0-FULL~first","invariants":["blanks_inner_fold1","blanks_inner_group_1","blanks_inner_group_2","blanks_inner_group_3","blanks_inner_group_4","blanks_inner_group_5","blanks_inner_group_6","blanks_inner_group_7","blanks_inner_group_8","blanks_middle_fold1","closed","counts_inner_fold1","counts_middle_fold1","gapped_segments","groups_in_row"],"line":"L1","literals":["domain_gapped","domain_group"],"phase":0,"questions":["blanks_inner_fold1","blanks_inner_group_1","blanks_inner_group_2","blanks_inner_group_3","blanks_inner_group_4","blanks_inner_group_5","blanks_inner_group_6","blanks_inner_group_7","blanks_inner_group_8","blanks_middle_fold1","closed","counts_inner_fold1","counts_middle_fold1","domain_gapped","domain_group","gapped_segments","groups_in_row"],"read":3,"request_pin":"04d5d409f665d0dc1170eabc2e70d4672dc1730c439b568835d0ece158708e64","same_as":null,"twin_of":null,"viewpoint":"v0","window":"FULL"},{"body":"rule","expected":{"closed":true,"domain_gapped":true,"domain_group":"1","gapped_segments":"2","groups_in_row":"4"},"frame_pin":"89e9ae11222fed28c43ab377f0aa0da7795e2c1a29a77f00d9534d1f8ed75913","id":"R03-v0-FULL~rule","invariants":["closed","gapped_segments","groups_in_row"],"line":"L1","literals":["domain_gapped","domain_group"],"phase":0,"questions":["closed","domain_gapped","domain_group","gapped_segments","groups_in_row"],"read":3,"request_pin":"20efdaac98330b4ab05f8c79d76b92bc3a9b5bb7a9f2d969920de65260c9936d","same_as":null,"twin_of":null,"viewpoint":"v0","window":"FULL"},{"body":"pair","expected":{"direction":{"plausible":["forward","back"]},"domain_group":"1","moved_groups":"4","returns_soon":true},"frame_pin":"934e4ff029fa927ef4b085a92c3f6b57af7287ba04245cc0e9e3623bcf444bc3","id":"R03-v0-FULL~pair","invariants":[],"line":"L1","literals":["direction","domain_group","moved_groups","returns_soon"],"phase":0,"questions":["direction","domain_group","moved_groups","returns_soon"],"read":3,"request_pin":"f3e0c89264a0369123e2edb2519a3e813731a2b12929b034bb436edd1b37ffdb","same_as":null,"twin_of":null,"viewpoint":"v0","window":"FULL"},{"body":"first","expected":{"blanks_inner_here":"4","blanks_middle_here":"2","counts_inner_here":"0","counts_middle_here":"2","domain_here":true},"frame_pin":"0c0efb3b7a32e86e922d180cb347f68c5bfefa3f0cbd95044a84cc6c74f8d58f","id":"R03-v0-FOLD~first","invariants":["blanks_inner_here","blanks_middle_here","counts_inner_here","counts_middle_here"],"line":"L1","literals":["domain_here"],"phase":0,"questions":["blanks_inner_here","blanks_middle_here","counts_inner_here","counts_middle_here","domain_here"],"read":3,"request_pin":"3d364e32abfbaa50998d251cba3416856ff1309ab1ef10a17efe9c53807363de","same_as":null,"twin_of":null,"viewpoint":"v0","window":"FOLD"},{"body":"rule","expected":{"blanks_inner_here":"4","blanks_middle_here":"2","domain_here":true},"frame_pin":"444d2c61db3875fee77858f9a054e89ac9ea7fa0665930dfc77944479bcc4c73","id":"R03-v0-FOLD~rule","invariants":["blanks_inner_here","blanks_middle_here"],"line":"L1","literals":["domain_here"],"phase":0,"questions":["blanks_inner_here","blanks_middle_here","domain_here"],"read":3,"request_pin":"f6881dfd0e10edc5415b03ff757650fbf25e42b7a030c17c58b36a5e4c163b9f","same_as":null,"twin_of":null,"viewpoint":"v0","window":"FOLD"},{"body":"pair","expected":{"domain_here":true},"frame_pin":"b5f9b0af88f88433c35232eb5bbf08a1835a775952af25eda4cbf543402cf48c","id":"R03-v0-FOLD~pair","invariants":[],"line":"L1","literals":["domain_here"],"phase":0,"questions":["domain_here"],"read":3,"request_pin":"883f13cae746ba42f3cd2da189819693bbf6e2a77d46c26de1b4b7924c73c9d8","same_as":null,"twin_of":null,"viewpoint":"v0","window":"FOLD"},{"body":"first","expected":{"blanks_inner_after":"1","boundary_kind":"begins","domain_here":true},"frame_pin":"1d4d12b1332a386df52985bf29de5c12549c28956e1325f0a3d051aebcc5c87c","id":"R03-v0-SEAM~first","invariants":["blanks_inner_after","boundary_kind"],"line":"L1","literals":["domain_here"],"phase":0,"questions":["blanks_inner_after","boundary_kind","domain_here"],"read":3,"request_pin":"c71f691f349d54bcd3584515de60736f82b1ea24df1340e8e0a8ef813fdbb8ac","same_as":null,"twin_of":null,"viewpoint":"v0","window":"SEAM"},{"body":"rule","expected":{"boundary_kind":"begins","domain_here":true},"frame_pin":"2868032eb23ce23895abfec796984edf065d61b988b0694a24a8e052d281d930","id":"R03-v0-SEAM~rule","invariants":["boundary_kind"],"line":"L1","literals":["domain_here"],"phase":0,"questions":["boundary_kind","domain_here"],"read":3,"request_pin":"957bc2f22b6afa7f4305344fe6391c0da870d3d11ca36e29a98bf507756bfd0d","same_as":null,"twin_of":null,"viewpoint":"v0","window":"SEAM"},{"body":"pair","expected":{"domain_here":true},"frame_pin":"6dbc343526c8eb508dd8af10642fcac9e88ae7593706badcf60af0efd82f814c","id":"R03-v0-SEAM~pair","invariants":[],"line":"L1","literals":["domain_here"],"phase":0,"questions":["domain_here"],"read":3,"request_pin":"c33138fd17f7da3520ebad07d822ee56127f55e0c337fbc9811599172b89eed3","same_as":null,"twin_of":null,"viewpoint":"v0","window":"SEAM"},{"body":"first","expected":{"blanks_inner_fold1":"4","blanks_inner_group_1":"0","blanks_inner_group_2":"0","blanks_inner_group_3":"2","blanks_inner_group_4":"2","blanks_inner_group_5":"0","blanks_inner_group_6":"0","blanks_inner_group_7":"2","blanks_inner_group_8":"2","blanks_middle_fold1":"2","closed":true,"counts_inner_fold1":"0","counts_middle_fold1":"2","domain_gapped":true,"domain_group":"7","gapped_segments":"2","groups_in_row":"4"},"frame_pin":"8ab5b50336cb8ceb2a3747a8171e109070a16d39ca0719556e6538dff19d0674","id":"R03-v1-FULL~first","invariants":["blanks_inner_fold1","blanks_inner_group_1","blanks_inner_group_2","blanks_inner_group_3","blanks_inner_group_4","blanks_inner_group_5","blanks_inner_group_6","blanks_inner_group_7","blanks_inner_group_8","blanks_middle_fold1","closed","counts_inner_fold1","counts_middle_fold1","gapped_segments","groups_in_row"],"line":"L1","literals":["domain_gapped","domain_group"],"phase":0,"questions":["blanks_inner_fold1","blanks_inner_group_1","blanks_inner_group_2","blanks_inner_group_3","blanks_inner_group_4","blanks_inner_group_5","blanks_inner_group_6","blanks_inner_group_7","blanks_inner_group_8","blanks_middle_fold1","closed","counts_inner_fold1","counts_middle_fold1","domain_gapped","domain_group","gapped_segments","groups_in_row"],"read":3,"request_pin":"6e21662dee117f751f051c3d0d0b266a042c0850083e52efa63a02dd57bcc5a6","same_as":null,"twin_of":null,"viewpoint":"v1","window":"FULL"},{"body":"rule","expected":{"closed":true,"domain_gapped":true,"domain_group":"7","gapped_segments":"2","groups_in_row":"4"},"frame_pin":"b5d47efc14556c03b1ed4f0d3dc1c40b7734b60429d4c2be4b85859788003e77","id":"R03-v1-FULL~rule","invariants":["closed","gapped_segments","groups_in_row"],"line":"L1","literals":["domain_gapped","domain_group"],"phase":0,"questions":["closed","domain_gapped","domain_group","gapped_segments","groups_in_row"],"read":3,"request_pin":"efbbc55f5987b05974706ea0aa2d25fb3d48f9eca7c741bce31a2529b34a245a","same_as":null,"twin_of":null,"viewpoint":"v1","window":"FULL"},{"body":"pair","expected":{"direction":{"plausible":["forward","back"]},"domain_group":"7","moved_groups":"4","returns_soon":true},"frame_pin":"47fc47da3aff93529e8eff0ac6f137ee106f42ca38dd777ff401cc01a85a02e5","id":"R03-v1-FULL~pair","invariants":[],"line":"L1","literals":["direction","domain_group","moved_groups","returns_soon"],"phase":0,"questions":["direction","domain_group","moved_groups","returns_soon"],"read":3,"request_pin":"a0d06978cf17b5154bf9247df456331d4c825e483a14a50246e98b89c5209e18","same_as":null,"twin_of":null,"viewpoint":"v1","window":"FULL"},{"body":"first","expected":{"blanks_inner_here":"0","blanks_middle_here":"0","domain_here":false},"frame_pin":"dac76f1930012ba6992541e3c438ae2a1d442de7ece0cf9d2c4fb2211bea6828","id":"R03-v1-RUN~first","invariants":["blanks_inner_here","blanks_middle_here"],"line":"L1","literals":["domain_here"],"phase":0,"questions":["blanks_inner_here","blanks_middle_here","domain_here"],"read":3,"request_pin":"6ec1f73ce4db5f9959a96f646cda0b3a4c2746af298aa14387b74902bc45a0b9","same_as":null,"twin_of":null,"viewpoint":"v1","window":"RUN"},{"body":"rule","expected":{"blanks_middle_here":"0","domain_here":false},"frame_pin":"9275c7573ba35aab964c75698d0b3697cb04a20f1c488fe60554ac804676edf3","id":"R03-v1-RUN~rule","invariants":["blanks_middle_here"],"line":"L1","literals":["domain_here"],"phase":0,"questions":["blanks_middle_here","domain_here"],"read":3,"request_pin":"0f0dc265911d2985dfb09430f91ad0d25922c27d54f75d3301614f342fd7b180","same_as":null,"twin_of":null,"viewpoint":"v1","window":"RUN"},{"body":"pair","expected":{"domain_here":false},"frame_pin":"7b089a6b51876cad1150e37a0843c0eb7ab7726bda681c717d635caa4048c311","id":"R03-v1-RUN~pair","invariants":[],"line":"L1","literals":["domain_here"],"phase":0,"questions":["domain_here"],"read":3,"request_pin":"f632beb0049797fb55646f6997050c5130b0c8428ec8890f58d6bd5221eea208","same_as":null,"twin_of":null,"viewpoint":"v1","window":"RUN"},{"body":"first","expected":{"blanks_inner_after":"0","boundary_kind":"ends","domain_here":false},"frame_pin":"db9e77929d56d88d486bfc5527b5d039133e39971c5f13f15ed1cc6196179cd4","id":"R03-v1-SEAM~first","invariants":["blanks_inner_after","boundary_kind"],"line":"L1","literals":["domain_here"],"phase":0,"questions":["blanks_inner_after","boundary_kind","domain_here"],"read":3,"request_pin":"dbe66c3b00481fea159aab0f8630f64fe3dc74fbddbc431ec42d660383a7acaa","same_as":null,"twin_of":null,"viewpoint":"v1","window":"SEAM"},{"body":"rule","expected":{"boundary_kind":"ends","domain_here":false},"frame_pin":"ac4daa1ce827335da7eae8d7a0895bd10ab33e784e042d81f944ec913e53cf79","id":"R03-v1-SEAM~rule","invariants":["boundary_kind"],"line":"L1","literals":["domain_here"],"phase":0,"questions":["boundary_kind","domain_here"],"read":3,"request_pin":"84440ef42cb538da2d2e73b30ae1b755b9e3a9b4e791b8976c947ce7bc8a0132","same_as":null,"twin_of":null,"viewpoint":"v1","window":"SEAM"},{"body":"pair","expected":{"domain_here":false},"frame_pin":"bae74bc6ae1f81a6cd0664b797970e8db7023358094248bddf0cba9246e5d535","id":"R03-v1-SEAM~pair","invariants":[],"line":"L1","literals":["domain_here"],"phase":0,"questions":["domain_here"],"read":3,"request_pin":"5bce30290a59d81c2ad7733bf192f44ec959077e4401f56bdd512a911e6a98b8","same_as":null,"twin_of":null,"viewpoint":"v1","window":"SEAM"},{"body":"first","expected":{"blanks_inner_fold1":"4","blanks_inner_group_1":"2","blanks_inner_group_2":"2","blanks_inner_group_3":"0","blanks_inner_group_4":"0","blanks_inner_group_5":"2","blanks_inner_group_6":"2","blanks_inner_group_7":"0","blanks_inner_group_8":"0","blanks_middle_fold1":"2","closed":true,"counts_inner_fold1":"0","counts_middle_fold1":"2","domain_gapped":true,"domain_group":"5","gapped_segments":"2","groups_in_row":"4"},"frame_pin":"e1a3ece850b4676706d812a9415609b86fc8f73b7f7a53895530aa9417003dc4","id":"R03-v2-FULL~first","invariants":["blanks_inner_fold1","blanks_inner_group_1","blanks_inner_group_2","blanks_inner_group_3","blanks_inner_group_4","blanks_inner_group_5","blanks_inner_group_6","blanks_inner_group_7","blanks_inner_group_8","blanks_middle_fold1","closed","counts_inner_fold1","counts_middle_fold1","gapped_segments","groups_in_row"],"line":"L1","literals":["domain_gapped","domain_group"],"phase":0,"questions":["blanks_inner_fold1","blanks_inner_group_1","blanks_inner_group_2","blanks_inner_group_3","blanks_inner_group_4","blanks_inner_group_5","blanks_inner_group_6","blanks_inner_group_7","blanks_inner_group_8","blanks_middle_fold1","closed","counts_inner_fold1","counts_middle_fold1","domain_gapped","domain_group","gapped_segments","groups_in_row"],"read":3,"request_pin":"1899141b949212e356c0e030b2f954846a9bf12953c911c02af67881cde62c9b","same_as":null,"twin_of":null,"viewpoint":"v2","window":"FULL"},{"body":"rule","expected":{"closed":true,"domain_gapped":true,"domain_group":"5","gapped_segments":"2","groups_in_row":"4"},"frame_pin":"e301cdf9fa15d0913cb6acf2621c2196fc81207758386735860d031bbf414115","id":"R03-v2-FULL~rule","invariants":["closed","gapped_segments","groups_in_row"],"line":"L1","literals":["domain_gapped","domain_group"],"phase":0,"questions":["closed","domain_gapped","domain_group","gapped_segments","groups_in_row"],"read":3,"request_pin":"37193fbb4176e3f15859649bb160e83b4777dfa216624af29a905f7ee1943f51","same_as":null,"twin_of":null,"viewpoint":"v2","window":"FULL"},{"body":"pair","expected":{"direction":{"plausible":["forward","back"]},"domain_group":"5","moved_groups":"4","returns_soon":true},"frame_pin":"cfb730e077a2f694d83c2ac89ca0d45c440f15354108bdce43fe897bc75b44e6","id":"R03-v2-FULL~pair","invariants":[],"line":"L1","literals":["direction","domain_group","moved_groups","returns_soon"],"phase":0,"questions":["direction","domain_group","moved_groups","returns_soon"],"read":3,"request_pin":"42d380fc0aea6c21c93f940acf5adc5b7cbafcb2c3fcf246eaf4383007443fee","same_as":null,"twin_of":null,"viewpoint":"v2","window":"FULL"},{"body":"first","expected":{"blanks_inner_here":"4","blanks_middle_here":"2","counts_inner_here":"0","counts_middle_here":"2","domain_here":false},"frame_pin":"a37eb87ed20c47ab2be00c08f6e30470c0f3aac2ba3e6f530a881bb734b3a8f9","id":"R03-v2-FOLD~first","invariants":["blanks_inner_here","blanks_middle_here","counts_inner_here","counts_middle_here"],"line":"L1","literals":["domain_here"],"phase":0,"questions":["blanks_inner_here","blanks_middle_here","counts_inner_here","counts_middle_here","domain_here"],"read":3,"request_pin":"6093a94da63b1a874911165e893b99844da20b2abfee951333c5facd04e5c2d7","same_as":null,"twin_of":null,"viewpoint":"v2","window":"FOLD"},{"body":"rule","expected":{"blanks_inner_here":"4","blanks_middle_here":"2","domain_here":false},"frame_pin":"de685ebdec54593c419b5b3920a10e45ee31d1ebf18a199222e2ab549803c339","id":"R03-v2-FOLD~rule","invariants":["blanks_inner_here","blanks_middle_here"],"line":"L1","literals":["domain_here"],"phase":0,"questions":["blanks_inner_here","blanks_middle_here","domain_here"],"read":3,"request_pin":"1be76b4cfb19c6752829f0ee744fa2fdc4a7eea2089e72ae583db8599aad2cd6","same_as":null,"twin_of":null,"viewpoint":"v2","window":"FOLD"},{"body":"pair","expected":{"domain_here":false},"frame_pin":"b8be565e06318dbff682418ac76697814d85a492349ac420e8ecccb9198f15ce","id":"R03-v2-FOLD~pair","invariants":[],"line":"L1","literals":["domain_here"],"phase":0,"questions":["domain_here"],"read":3,"request_pin":"fa7ff554a9da2da6f8cafd130c3f3bfb405253e79729fdf8658856709354cad0","same_as":null,"twin_of":null,"viewpoint":"v2","window":"FOLD"},{"body":"first","expected":{"blanks_inner_after":"1","boundary_kind":"begins","domain_here":false},"frame_pin":"70ad55fdc76dfa75d0acb273991784a7418196e5433931ac4e723fe51f70dac5","id":"R03-v2-SEAM~first","invariants":["blanks_inner_after","boundary_kind"],"line":"L1","literals":["domain_here"],"phase":0,"questions":["blanks_inner_after","boundary_kind","domain_here"],"read":3,"request_pin":"1105a6f66208a68ab7207f790e728bdf06cfe92a9c0d50d318bbb0d64a158111","same_as":null,"twin_of":null,"viewpoint":"v2","window":"SEAM"},{"body":"rule","expected":{"boundary_kind":"begins","domain_here":false},"frame_pin":"b5bc755ebd027eadc58844624f25b8c558e066c40d062e96ca277d05da3b3f60","id":"R03-v2-SEAM~rule","invariants":["boundary_kind"],"line":"L1","literals":["domain_here"],"phase":0,"questions":["boundary_kind","domain_here"],"read":3,"request_pin":"a7ea6d31f788d05c173b1e24b09dc5660515b5b48a5e751672203788d59272fe","same_as":null,"twin_of":null,"viewpoint":"v2","window":"SEAM"},{"body":"pair","expected":{"domain_here":false},"frame_pin":"e8dc1c519342356ab5bd76fa44d3d736f77a01aadc67ee51f1d0551957e6d227","id":"R03-v2-SEAM~pair","invariants":[],"line":"L1","literals":["domain_here"],"phase":0,"questions":["domain_here"],"read":3,"request_pin":"720da8c049de357a24e17661aeaeef382b62757c2c54891c337277ced349425a","same_as":null,"twin_of":null,"viewpoint":"v2","window":"SEAM"},{"body":"first","expected":{"blanks_inner_fold1":"4","blanks_inner_group_1":"0","blanks_inner_group_2":"0","blanks_inner_group_3":"2","blanks_inner_group_4":"2","blanks_inner_group_5":"0","blanks_inner_group_6":"0","blanks_inner_group_7":"2","blanks_inner_group_8":"2","blanks_middle_fold1":"2","closed":true,"counts_inner_fold1":"0","counts_middle_fold1":"2","domain_gapped":true,"domain_group":"3","gapped_segments":"2","groups_in_row":"4"},"frame_pin":"d785db5fb505804429cedaba2a0dfc7fe73d99e649ddc18ddc137522011c3fab","id":"R03-v3-FULL~first","invariants":["blanks_inner_fold1","blanks_inner_group_1","blanks_inner_group_2","blanks_inner_group_3","blanks_inner_group_4","blanks_inner_group_5","blanks_inner_group_6","blanks_inner_group_7","blanks_inner_group_8","blanks_middle_fold1","closed","counts_inner_fold1","counts_middle_fold1","gapped_segments","groups_in_row"],"line":"L1","literals":["domain_gapped","domain_group"],"phase":0,"questions":["blanks_inner_fold1","blanks_inner_group_1","blanks_inner_group_2","blanks_inner_group_3","blanks_inner_group_4","blanks_inner_group_5","blanks_inner_group_6","blanks_inner_group_7","blanks_inner_group_8","blanks_middle_fold1","closed","counts_inner_fold1","counts_middle_fold1","domain_gapped","domain_group","gapped_segments","groups_in_row"],"read":3,"request_pin":"29c1e07d6de204a22bd9980038cae1134bb20aeb68dc6941de952899f9086ab2","same_as":null,"twin_of":null,"viewpoint":"v3","window":"FULL"},{"body":"rule","expected":{"closed":true,"domain_gapped":true,"domain_group":"3","gapped_segments":"2","groups_in_row":"4"},"frame_pin":"f77ffcf10d1e9e3ab4536d397feb59f911f69f8d41991ab3db17de97db072288","id":"R03-v3-FULL~rule","invariants":["closed","gapped_segments","groups_in_row"],"line":"L1","literals":["domain_gapped","domain_group"],"phase":0,"questions":["closed","domain_gapped","domain_group","gapped_segments","groups_in_row"],"read":3,"request_pin":"df13e86c9bfe754769c46c98e4eb7741200afc2b4b40732499d61b60f6cebd51","same_as":null,"twin_of":null,"viewpoint":"v3","window":"FULL"},{"body":"pair","expected":{"direction":{"plausible":["forward","back"]},"domain_group":"3","moved_groups":"4","returns_soon":true},"frame_pin":"e00eb6c5c71252f00e5e598a466fa25010db32916ff88407be48d250cd6ae17f","id":"R03-v3-FULL~pair","invariants":[],"line":"L1","literals":["direction","domain_group","moved_groups","returns_soon"],"phase":0,"questions":["direction","domain_group","moved_groups","returns_soon"],"read":3,"request_pin":"43db0b2daa3262604d03a88633785a20c771efb3fa7863e2d51b05845a7c4144","same_as":null,"twin_of":null,"viewpoint":"v3","window":"FULL"},{"body":"first","expected":{"blanks_inner_here":"0","blanks_middle_here":"0","domain_here":false},"frame_pin":"dac76f1930012ba6992541e3c438ae2a1d442de7ece0cf9d2c4fb2211bea6828","id":"R03-v3-RUN~first","invariants":["blanks_inner_here","blanks_middle_here"],"line":"L1","literals":["domain_here"],"phase":0,"questions":["blanks_inner_here","blanks_middle_here","domain_here"],"read":3,"request_pin":"6ec1f73ce4db5f9959a96f646cda0b3a4c2746af298aa14387b74902bc45a0b9","same_as":"R03-v1-RUN~first","twin_of":"R03-v1-RUN~first","viewpoint":"v3","window":"RUN"},{"body":"rule","expected":{"blanks_middle_here":"0","domain_here":false},"frame_pin":"9275c7573ba35aab964c75698d0b3697cb04a20f1c488fe60554ac804676edf3","id":"R03-v3-RUN~rule","invariants":["blanks_middle_here"],"line":"L1","literals":["domain_here"],"phase":0,"questions":["blanks_middle_here","domain_here"],"read":3,"request_pin":"0f0dc265911d2985dfb09430f91ad0d25922c27d54f75d3301614f342fd7b180","same_as":"R03-v1-RUN~rule","twin_of":"R03-v1-RUN~rule","viewpoint":"v3","window":"RUN"},{"body":"pair","expected":{"domain_here":false},"frame_pin":"7b089a6b51876cad1150e37a0843c0eb7ab7726bda681c717d635caa4048c311","id":"R03-v3-RUN~pair","invariants":[],"line":"L1","literals":["domain_here"],"phase":0,"questions":["domain_here"],"read":3,"request_pin":"f632beb0049797fb55646f6997050c5130b0c8428ec8890f58d6bd5221eea208","same_as":"R03-v1-RUN~pair","twin_of":"R03-v1-RUN~pair","viewpoint":"v3","window":"RUN"},{"body":"first","expected":{"blanks_inner_after":"0","boundary_kind":"ends","domain_here":false},"frame_pin":"91adca5531ad1700b81f863835ec49606ccfeea81b60028053c455738cf682b2","id":"R03-v3-SEAM~first","invariants":["blanks_inner_after","boundary_kind"],"line":"L1","literals":["domain_here"],"phase":0,"questions":["blanks_inner_after","boundary_kind","domain_here"],"read":3,"request_pin":"67c44e1cce930b2df58528462095c46db72181d48fb4c0034dd41efb3bda7539","same_as":null,"twin_of":null,"viewpoint":"v3","window":"SEAM"},{"body":"rule","expected":{"boundary_kind":"ends","domain_here":false},"frame_pin":"d94f590d0af390567aa94b90f41d0467b1046a22a55d0898de2051b5f9ac9367","id":"R03-v3-SEAM~rule","invariants":["boundary_kind"],"line":"L1","literals":["domain_here"],"phase":0,"questions":["boundary_kind","domain_here"],"read":3,"request_pin":"407342c66487442bd301d395f26964d656943f8b7933b5b4cf75dc3b8bf2846b","same_as":null,"twin_of":null,"viewpoint":"v3","window":"SEAM"},{"body":"pair","expected":{"domain_here":false},"frame_pin":"7e3b8866f248413bf2c538464d8a10d8d658c0a3a7fb9c2398008c744f2fe05c","id":"R03-v3-SEAM~pair","invariants":[],"line":"L1","literals":["domain_here"],"phase":0,"questions":["domain_here"],"read":3,"request_pin":"71c56a2f74a5f6e602dd9d639f670774b04cec49fb6fa7f0b0075d252c14a9cd","same_as":null,"twin_of":null,"viewpoint":"v3","window":"SEAM"},{"body":"first","expected":{"blanks_inner_fold1":"4","blanks_inner_group_1":"2","blanks_inner_group_2":"2","blanks_inner_group_3":"0","blanks_inner_group_4":"0","blanks_inner_group_5":"2","blanks_inner_group_6":"2","blanks_inner_group_7":"0","blanks_inner_group_8":"0","blanks_middle_fold1":"2","closed":true,"counts_inner_fold1":"0","counts_middle_fold1":"2","domain_gapped":true,"domain_group":"5","gapped_segments":"2","groups_in_row":"4"},"frame_pin":"585b6933341b5e1dbce3f88996dac376ffea71615939b10191dc350dceec970b","id":"R04-v0-FULL~first","invariants":["blanks_inner_fold1","blanks_inner_group_1","blanks_inner_group_2","blanks_inner_group_3","blanks_inner_group_4","blanks_inner_group_5","blanks_inner_group_6","blanks_inner_group_7","blanks_inner_group_8","blanks_middle_fold1","closed","counts_inner_fold1","counts_middle_fold1","gapped_segments","groups_in_row"],"line":"L1","literals":["domain_gapped","domain_group"],"phase":32,"questions":["blanks_inner_fold1","blanks_inner_group_1","blanks_inner_group_2","blanks_inner_group_3","blanks_inner_group_4","blanks_inner_group_5","blanks_inner_group_6","blanks_inner_group_7","blanks_inner_group_8","blanks_middle_fold1","closed","counts_inner_fold1","counts_middle_fold1","domain_gapped","domain_group","gapped_segments","groups_in_row"],"read":4,"request_pin":"56ca4878250c88b72d4cde83629e6751c462cd6957f0d6f37cd37200ce0400cb","same_as":null,"twin_of":null,"viewpoint":"v0","window":"FULL"},{"body":"rule","expected":{"closed":true,"domain_gapped":true,"domain_group":"5","gapped_segments":"2","groups_in_row":"4"},"frame_pin":"0354c6c05301c8ceb2718d3f54cc158fb8922f62aaf183946633f052aa819a1c","id":"R04-v0-FULL~rule","invariants":["closed","gapped_segments","groups_in_row"],"line":"L1","literals":["domain_gapped","domain_group"],"phase":32,"questions":["closed","domain_gapped","domain_group","gapped_segments","groups_in_row"],"read":4,"request_pin":"ed8aa88359288ca6e78dc7a034a87d5c4dffec45f249b573e36cb5d0532d3d7d","same_as":null,"twin_of":null,"viewpoint":"v0","window":"FULL"},{"body":"pair","expected":{"direction":{"plausible":["forward","back"]},"domain_group":"5","moved_groups":"4","returns_soon":true},"frame_pin":"793b23c1c40550b38bbf6deeb8c9218cba574c806036f2bc1812806b26f62e27","id":"R04-v0-FULL~pair","invariants":[],"line":"L1","literals":["direction","domain_group","moved_groups","returns_soon"],"phase":32,"questions":["direction","domain_group","moved_groups","returns_soon"],"read":4,"request_pin":"dd80493ff965a31ccf1dd2e00f6a796f6102b88be1d3e42796b287ec05f51bd6","same_as":null,"twin_of":null,"viewpoint":"v0","window":"FULL"},{"body":"first","expected":{"blanks_inner_here":"4","blanks_middle_here":"2","counts_inner_here":"0","counts_middle_here":"2","domain_here":false},"frame_pin":"0734d0f01441f74a001888047c8a9aca707f9566efcb8a5ddae436372e10478d","id":"R04-v0-FOLD~first","invariants":["blanks_inner_here","blanks_middle_here","counts_inner_here","counts_middle_here"],"line":"L1","literals":["domain_here"],"phase":32,"questions":["blanks_inner_here","blanks_middle_here","counts_inner_here","counts_middle_here","domain_here"],"read":4,"request_pin":"2538ab960dc81d518b8d18cc0474a3d591365cb8558b100a4dba6c505f03fc45","same_as":null,"twin_of":null,"viewpoint":"v0","window":"FOLD"},{"body":"rule","expected":{"blanks_inner_here":"4","blanks_middle_here":"2","domain_here":false},"frame_pin":"de85aa29e3a8bdc2390a8b5f4c7c9fa661dad8df20110fce9e2c3db2d34e2524","id":"R04-v0-FOLD~rule","invariants":["blanks_inner_here","blanks_middle_here"],"line":"L1","literals":["domain_here"],"phase":32,"questions":["blanks_inner_here","blanks_middle_here","domain_here"],"read":4,"request_pin":"aa7ec6301f9d51f9db970ffe4bb9a5cdd947a17446c6b4616bf7b7417c8148a2","same_as":null,"twin_of":null,"viewpoint":"v0","window":"FOLD"},{"body":"pair","expected":{"domain_here":false},"frame_pin":"fa704b5e6c50ac3287b9e94859b1585a768a6c634ba4e22d6a60ce1bbd387eb9","id":"R04-v0-FOLD~pair","invariants":[],"line":"L1","literals":["domain_here"],"phase":32,"questions":["domain_here"],"read":4,"request_pin":"097fd1539eef9b71ef3642ff9075d162c9075e655691ba08e63ed0dda6aaa4e8","same_as":null,"twin_of":null,"viewpoint":"v0","window":"FOLD"},{"body":"first","expected":{"blanks_inner_after":"1","boundary_kind":"begins","domain_here":false},"frame_pin":"406e5527a0b9e67e829411939f124db9bb6c730bee8ef4641e3f02502244a625","id":"R04-v0-SEAM~first","invariants":["blanks_inner_after","boundary_kind"],"line":"L1","literals":["domain_here"],"phase":32,"questions":["blanks_inner_after","boundary_kind","domain_here"],"read":4,"request_pin":"fa3c4a1ce49fef2d39f7eed81c06eb103bdf7b4789807d7a1a608bdf5aec3844","same_as":null,"twin_of":null,"viewpoint":"v0","window":"SEAM"},{"body":"rule","expected":{"boundary_kind":"begins","domain_here":false},"frame_pin":"d974e5d16b6b8e9abd77342bebfe5790828fae3ad26dd514c099bed58f6a0eb4","id":"R04-v0-SEAM~rule","invariants":["boundary_kind"],"line":"L1","literals":["domain_here"],"phase":32,"questions":["boundary_kind","domain_here"],"read":4,"request_pin":"96766b2bd69979dd4c94ac23a9948210b426c8f9d9688f3d9822a3bf679c54e3","same_as":null,"twin_of":null,"viewpoint":"v0","window":"SEAM"},{"body":"pair","expected":{"domain_here":false},"frame_pin":"6f95188e53a8b69f911b0d5fdd2c6c75cbd60579c995fd64f40c446951f3f133","id":"R04-v0-SEAM~pair","invariants":[],"line":"L1","literals":["domain_here"],"phase":32,"questions":["domain_here"],"read":4,"request_pin":"ed935d6f2d73cfdc7fabeb495b1ef708b5cf5c7a3317fd34040d484b6f05f3ff","same_as":null,"twin_of":null,"viewpoint":"v0","window":"SEAM"},{"body":"first","expected":{"blanks_inner_fold1":"4","blanks_inner_group_1":"0","blanks_inner_group_2":"0","blanks_inner_group_3":"2","blanks_inner_group_4":"2","blanks_inner_group_5":"0","blanks_inner_group_6":"0","blanks_inner_group_7":"2","blanks_inner_group_8":"2","blanks_middle_fold1":"2","closed":true,"counts_inner_fold1":"0","counts_middle_fold1":"2","domain_gapped":true,"domain_group":"3","gapped_segments":"2","groups_in_row":"4"},"frame_pin":"e7084b0db0a6655cd4d7fa7026da2da9264de96e104b6855d84534217a02cf19","id":"R04-v1-FULL~first","invariants":["blanks_inner_fold1","blanks_inner_group_1","blanks_inner_group_2","blanks_inner_group_3","blanks_inner_group_4","blanks_inner_group_5","blanks_inner_group_6","blanks_inner_group_7","blanks_inner_group_8","blanks_middle_fold1","closed","counts_inner_fold1","counts_middle_fold1","gapped_segments","groups_in_row"],"line":"L1","literals":["domain_gapped","domain_group"],"phase":32,"questions":["blanks_inner_fold1","blanks_inner_group_1","blanks_inner_group_2","blanks_inner_group_3","blanks_inner_group_4","blanks_inner_group_5","blanks_inner_group_6","blanks_inner_group_7","blanks_inner_group_8","blanks_middle_fold1","closed","counts_inner_fold1","counts_middle_fold1","domain_gapped","domain_group","gapped_segments","groups_in_row"],"read":4,"request_pin":"51027ba894e04735e3cad603db18d9be1a475e2ddcec6e11ff265bf7117db704","same_as":null,"twin_of":null,"viewpoint":"v1","window":"FULL"},{"body":"rule","expected":{"closed":true,"domain_gapped":true,"domain_group":"3","gapped_segments":"2","groups_in_row":"4"},"frame_pin":"dcdeedb1cbc5dcd8c9189f227c30866feb88d9768828bd9bb7efd0e40f40a9da","id":"R04-v1-FULL~rule","invariants":["closed","gapped_segments","groups_in_row"],"line":"L1","literals":["domain_gapped","domain_group"],"phase":32,"questions":["closed","domain_gapped","domain_group","gapped_segments","groups_in_row"],"read":4,"request_pin":"a1d90068c57a91c5c5b5394c498163590d5e0367916f70a7d347932074d02851","same_as":null,"twin_of":null,"viewpoint":"v1","window":"FULL"},{"body":"pair","expected":{"direction":{"plausible":["forward","back"]},"domain_group":"3","moved_groups":"4","returns_soon":true},"frame_pin":"9ac74b36bf61f28023361532d3789150d43b1f4c7e7ef15b3024980f0696a1c8","id":"R04-v1-FULL~pair","invariants":[],"line":"L1","literals":["direction","domain_group","moved_groups","returns_soon"],"phase":32,"questions":["direction","domain_group","moved_groups","returns_soon"],"read":4,"request_pin":"16b2966af6df7c855df358a7a51c38779318ab82cd4e04430ef05e21b648230f","same_as":null,"twin_of":null,"viewpoint":"v1","window":"FULL"},{"body":"first","expected":{"blanks_inner_here":"0","blanks_middle_here":"0","domain_here":false},"frame_pin":"dac76f1930012ba6992541e3c438ae2a1d442de7ece0cf9d2c4fb2211bea6828","id":"R04-v1-RUN~first","invariants":["blanks_inner_here","blanks_middle_here"],"line":"L1","literals":["domain_here"],"phase":32,"questions":["blanks_inner_here","blanks_middle_here","domain_here"],"read":4,"request_pin":"6ec1f73ce4db5f9959a96f646cda0b3a4c2746af298aa14387b74902bc45a0b9","same_as":null,"twin_of":"R03-v1-RUN~first","viewpoint":"v1","window":"RUN"},{"body":"rule","expected":{"blanks_middle_here":"0","domain_here":false},"frame_pin":"9275c7573ba35aab964c75698d0b3697cb04a20f1c488fe60554ac804676edf3","id":"R04-v1-RUN~rule","invariants":["blanks_middle_here"],"line":"L1","literals":["domain_here"],"phase":32,"questions":["blanks_middle_here","domain_here"],"read":4,"request_pin":"0f0dc265911d2985dfb09430f91ad0d25922c27d54f75d3301614f342fd7b180","same_as":null,"twin_of":"R03-v1-RUN~rule","viewpoint":"v1","window":"RUN"},{"body":"pair","expected":{"domain_here":false},"frame_pin":"7b089a6b51876cad1150e37a0843c0eb7ab7726bda681c717d635caa4048c311","id":"R04-v1-RUN~pair","invariants":[],"line":"L1","literals":["domain_here"],"phase":32,"questions":["domain_here"],"read":4,"request_pin":"f632beb0049797fb55646f6997050c5130b0c8428ec8890f58d6bd5221eea208","same_as":null,"twin_of":"R03-v1-RUN~pair","viewpoint":"v1","window":"RUN"},{"body":"first","expected":{"blanks_inner_after":"0","boundary_kind":"ends","domain_here":false},"frame_pin":"db9e77929d56d88d486bfc5527b5d039133e39971c5f13f15ed1cc6196179cd4","id":"R04-v1-SEAM~first","invariants":["blanks_inner_after","boundary_kind"],"line":"L1","literals":["domain_here"],"phase":32,"questions":["blanks_inner_after","boundary_kind","domain_here"],"read":4,"request_pin":"dbe66c3b00481fea159aab0f8630f64fe3dc74fbddbc431ec42d660383a7acaa","same_as":null,"twin_of":"R03-v1-SEAM~first","viewpoint":"v1","window":"SEAM"},{"body":"rule","expected":{"boundary_kind":"ends","domain_here":false},"frame_pin":"ac4daa1ce827335da7eae8d7a0895bd10ab33e784e042d81f944ec913e53cf79","id":"R04-v1-SEAM~rule","invariants":["boundary_kind"],"line":"L1","literals":["domain_here"],"phase":32,"questions":["boundary_kind","domain_here"],"read":4,"request_pin":"84440ef42cb538da2d2e73b30ae1b755b9e3a9b4e791b8976c947ce7bc8a0132","same_as":null,"twin_of":"R03-v1-SEAM~rule","viewpoint":"v1","window":"SEAM"},{"body":"pair","expected":{"domain_here":false},"frame_pin":"bae74bc6ae1f81a6cd0664b797970e8db7023358094248bddf0cba9246e5d535","id":"R04-v1-SEAM~pair","invariants":[],"line":"L1","literals":["domain_here"],"phase":32,"questions":["domain_here"],"read":4,"request_pin":"5bce30290a59d81c2ad7733bf192f44ec959077e4401f56bdd512a911e6a98b8","same_as":null,"twin_of":"R03-v1-SEAM~pair","viewpoint":"v1","window":"SEAM"},{"body":"first","expected":{"blanks_inner_fold1":"4","blanks_inner_group_1":"2","blanks_inner_group_2":"2","blanks_inner_group_3":"0","blanks_inner_group_4":"0","blanks_inner_group_5":"2","blanks_inner_group_6":"2","blanks_inner_group_7":"0","blanks_inner_group_8":"0","blanks_middle_fold1":"2","closed":true,"counts_inner_fold1":"0","counts_middle_fold1":"2","domain_gapped":true,"domain_group":"1","gapped_segments":"2","groups_in_row":"4"},"frame_pin":"bb4cf6dd35ea507f93f24a8c94f9522213dec6c5c0472b52aec1cc51335bd703","id":"R04-v2-FULL~first","invariants":["blanks_inner_fold1","blanks_inner_group_1","blanks_inner_group_2","blanks_inner_group_3","blanks_inner_group_4","blanks_inner_group_5","blanks_inner_group_6","blanks_inner_group_7","blanks_inner_group_8","blanks_middle_fold1","closed","counts_inner_fold1","counts_middle_fold1","gapped_segments","groups_in_row"],"line":"L1","literals":["domain_gapped","domain_group"],"phase":32,"questions":["blanks_inner_fold1","blanks_inner_group_1","blanks_inner_group_2","blanks_inner_group_3","blanks_inner_group_4","blanks_inner_group_5","blanks_inner_group_6","blanks_inner_group_7","blanks_inner_group_8","blanks_middle_fold1","closed","counts_inner_fold1","counts_middle_fold1","domain_gapped","domain_group","gapped_segments","groups_in_row"],"read":4,"request_pin":"5c844852fbe7d0fa3dee3376a1d80b67239d4f87d5c7a049ddab6f23cf506458","same_as":null,"twin_of":null,"viewpoint":"v2","window":"FULL"},{"body":"rule","expected":{"closed":true,"domain_gapped":true,"domain_group":"1","gapped_segments":"2","groups_in_row":"4"},"frame_pin":"11862fd2b9c3ae226584efe99b0079e496185fa5cdd8811e1317755324e090d7","id":"R04-v2-FULL~rule","invariants":["closed","gapped_segments","groups_in_row"],"line":"L1","literals":["domain_gapped","domain_group"],"phase":32,"questions":["closed","domain_gapped","domain_group","gapped_segments","groups_in_row"],"read":4,"request_pin":"601ccf5b1efaf56dffd91cf4634666c305c5d4eb1a7a005a060c7224f700f4a9","same_as":null,"twin_of":null,"viewpoint":"v2","window":"FULL"},{"body":"pair","expected":{"direction":{"plausible":["forward","back"]},"domain_group":"1","moved_groups":"4","returns_soon":true},"frame_pin":"3b6a9edacfa2a7f80955558881bc9da4da0ebd40f61d429c13cfff241fa78b6b","id":"R04-v2-FULL~pair","invariants":[],"line":"L1","literals":["direction","domain_group","moved_groups","returns_soon"],"phase":32,"questions":["direction","domain_group","moved_groups","returns_soon"],"read":4,"request_pin":"2e9e7273ac3e6ab02d69267e4ce2c30c8c98d7b2ec85729b01858c2a25b7397a","same_as":null,"twin_of":null,"viewpoint":"v2","window":"FULL"},{"body":"first","expected":{"blanks_inner_here":"4","blanks_middle_here":"2","counts_inner_here":"0","counts_middle_here":"2","domain_here":true},"frame_pin":"07f6bd1519c6a12196df87587954e15cef6a870a13f3bd2c833e47849e88b3e5","id":"R04-v2-FOLD~first","invariants":["blanks_inner_here","blanks_middle_here","counts_inner_here","counts_middle_here"],"line":"L1","literals":["domain_here"],"phase":32,"questions":["blanks_inner_here","blanks_middle_here","counts_inner_here","counts_middle_here","domain_here"],"read":4,"request_pin":"4209585e6f1fee8a2f753db53ed6eec2069ccdc822f5badf8abe3ece46d846fe","same_as":null,"twin_of":null,"viewpoint":"v2","window":"FOLD"},{"body":"rule","expected":{"blanks_inner_here":"4","blanks_middle_here":"2","domain_here":true},"frame_pin":"c07b2352e25e69c75d31697f8375be6f9c9d7ac87d33872a457a834ff310b041","id":"R04-v2-FOLD~rule","invariants":["blanks_inner_here","blanks_middle_here"],"line":"L1","literals":["domain_here"],"phase":32,"questions":["blanks_inner_here","blanks_middle_here","domain_here"],"read":4,"request_pin":"9754a9c74898ebf727254b68391c2017f373f33c551e9e2a27e9d7b6774c5591","same_as":null,"twin_of":null,"viewpoint":"v2","window":"FOLD"},{"body":"pair","expected":{"domain_here":true},"frame_pin":"a55e8d0c5bff7ae278703a5efaf744c79f88f756cc48d2761d44da9fcc0990b7","id":"R04-v2-FOLD~pair","invariants":[],"line":"L1","literals":["domain_here"],"phase":32,"questions":["domain_here"],"read":4,"request_pin":"253497e728433597d15f997f447f5c3c337fa272c185df64aaeb979da5519c44","same_as":null,"twin_of":null,"viewpoint":"v2","window":"FOLD"},{"body":"first","expected":{"blanks_inner_after":"1","boundary_kind":"begins","domain_here":true},"frame_pin":"da5ea9699dda633fcc5d6116e107ab24ef3c7949a43213c070abdd3c0a435ea2","id":"R04-v2-SEAM~first","invariants":["blanks_inner_after","boundary_kind"],"line":"L1","literals":["domain_here"],"phase":32,"questions":["blanks_inner_after","boundary_kind","domain_here"],"read":4,"request_pin":"01165380410c9d18e8e861675e6733655314c3e8b6008469acace2ce5f42264f","same_as":null,"twin_of":null,"viewpoint":"v2","window":"SEAM"},{"body":"rule","expected":{"boundary_kind":"begins","domain_here":true},"frame_pin":"bc1cc4c550dc5611c5c48ae3f675f4bcd100a004bcf5206cc4d6b782d29d6bea","id":"R04-v2-SEAM~rule","invariants":["boundary_kind"],"line":"L1","literals":["domain_here"],"phase":32,"questions":["boundary_kind","domain_here"],"read":4,"request_pin":"81f8c7daaa223b962928c9e39ef04def227938c4a840effba7d7e3cb53e32b88","same_as":null,"twin_of":null,"viewpoint":"v2","window":"SEAM"},{"body":"pair","expected":{"domain_here":true},"frame_pin":"818f8e481a954506ef39b17b156ea95b57d14c671c19e9fa956fefb8c531c943","id":"R04-v2-SEAM~pair","invariants":[],"line":"L1","literals":["domain_here"],"phase":32,"questions":["domain_here"],"read":4,"request_pin":"813dd4fe734271fffd19b00e051bb9992ef309b4200051f2f9394af5b0183e4d","same_as":null,"twin_of":null,"viewpoint":"v2","window":"SEAM"},{"body":"first","expected":{"blanks_inner_fold1":"4","blanks_inner_group_1":"0","blanks_inner_group_2":"0","blanks_inner_group_3":"2","blanks_inner_group_4":"2","blanks_inner_group_5":"0","blanks_inner_group_6":"0","blanks_inner_group_7":"2","blanks_inner_group_8":"2","blanks_middle_fold1":"2","closed":true,"counts_inner_fold1":"0","counts_middle_fold1":"2","domain_gapped":true,"domain_group":"7","gapped_segments":"2","groups_in_row":"4"},"frame_pin":"0fd912cc3f902fd54aa58be5f5184e03fa1a50b4c76e6d2bf4a42f009ec9789b","id":"R04-v3-FULL~first","invariants":["blanks_inner_fold1","blanks_inner_group_1","blanks_inner_group_2","blanks_inner_group_3","blanks_inner_group_4","blanks_inner_group_5","blanks_inner_group_6","blanks_inner_group_7","blanks_inner_group_8","blanks_middle_fold1","closed","counts_inner_fold1","counts_middle_fold1","gapped_segments","groups_in_row"],"line":"L1","literals":["domain_gapped","domain_group"],"phase":32,"questions":["blanks_inner_fold1","blanks_inner_group_1","blanks_inner_group_2","blanks_inner_group_3","blanks_inner_group_4","blanks_inner_group_5","blanks_inner_group_6","blanks_inner_group_7","blanks_inner_group_8","blanks_middle_fold1","closed","counts_inner_fold1","counts_middle_fold1","domain_gapped","domain_group","gapped_segments","groups_in_row"],"read":4,"request_pin":"9eaa5ee623d5495a17d592ac2b00c406f766daeba4c34622308091f7ae7d6cd4","same_as":null,"twin_of":null,"viewpoint":"v3","window":"FULL"},{"body":"rule","expected":{"closed":true,"domain_gapped":true,"domain_group":"7","gapped_segments":"2","groups_in_row":"4"},"frame_pin":"b0dda1bc7957e6d542d8509454825c229ce659f07fec6aad1be44fb4843e5d47","id":"R04-v3-FULL~rule","invariants":["closed","gapped_segments","groups_in_row"],"line":"L1","literals":["domain_gapped","domain_group"],"phase":32,"questions":["closed","domain_gapped","domain_group","gapped_segments","groups_in_row"],"read":4,"request_pin":"80024e73b0cebfa558ed4f3117bc29fd2f0702a02335331b46196760cc970322","same_as":null,"twin_of":null,"viewpoint":"v3","window":"FULL"},{"body":"pair","expected":{"direction":{"plausible":["forward","back"]},"domain_group":"7","moved_groups":"4","returns_soon":true},"frame_pin":"48e6f241469978737c3e317e8dbfea10e5102fa2b7a22c209ea94cc4e56a0b89","id":"R04-v3-FULL~pair","invariants":[],"line":"L1","literals":["direction","domain_group","moved_groups","returns_soon"],"phase":32,"questions":["direction","domain_group","moved_groups","returns_soon"],"read":4,"request_pin":"1f115aeffc963845eb58a932c26a8efbd19adaece8b03d871ef2d0b4d2282129","same_as":null,"twin_of":null,"viewpoint":"v3","window":"FULL"},{"body":"first","expected":{"blanks_inner_here":"0","blanks_middle_here":"0","domain_here":false},"frame_pin":"dac76f1930012ba6992541e3c438ae2a1d442de7ece0cf9d2c4fb2211bea6828","id":"R04-v3-RUN~first","invariants":["blanks_inner_here","blanks_middle_here"],"line":"L1","literals":["domain_here"],"phase":32,"questions":["blanks_inner_here","blanks_middle_here","domain_here"],"read":4,"request_pin":"6ec1f73ce4db5f9959a96f646cda0b3a4c2746af298aa14387b74902bc45a0b9","same_as":"R04-v1-RUN~first","twin_of":"R03-v1-RUN~first","viewpoint":"v3","window":"RUN"},{"body":"rule","expected":{"blanks_middle_here":"0","domain_here":false},"frame_pin":"9275c7573ba35aab964c75698d0b3697cb04a20f1c488fe60554ac804676edf3","id":"R04-v3-RUN~rule","invariants":["blanks_middle_here"],"line":"L1","literals":["domain_here"],"phase":32,"questions":["blanks_middle_here","domain_here"],"read":4,"request_pin":"0f0dc265911d2985dfb09430f91ad0d25922c27d54f75d3301614f342fd7b180","same_as":"R04-v1-RUN~rule","twin_of":"R03-v1-RUN~rule","viewpoint":"v3","window":"RUN"},{"body":"pair","expected":{"domain_here":false},"frame_pin":"7b089a6b51876cad1150e37a0843c0eb7ab7726bda681c717d635caa4048c311","id":"R04-v3-RUN~pair","invariants":[],"line":"L1","literals":["domain_here"],"phase":32,"questions":["domain_here"],"read":4,"request_pin":"f632beb0049797fb55646f6997050c5130b0c8428ec8890f58d6bd5221eea208","same_as":"R04-v1-RUN~pair","twin_of":"R03-v1-RUN~pair","viewpoint":"v3","window":"RUN"},{"body":"first","expected":{"blanks_inner_after":"0","boundary_kind":"ends","domain_here":false},"frame_pin":"91adca5531ad1700b81f863835ec49606ccfeea81b60028053c455738cf682b2","id":"R04-v3-SEAM~first","invariants":["blanks_inner_after","boundary_kind"],"line":"L1","literals":["domain_here"],"phase":32,"questions":["blanks_inner_after","boundary_kind","domain_here"],"read":4,"request_pin":"67c44e1cce930b2df58528462095c46db72181d48fb4c0034dd41efb3bda7539","same_as":null,"twin_of":"R03-v3-SEAM~first","viewpoint":"v3","window":"SEAM"},{"body":"rule","expected":{"boundary_kind":"ends","domain_here":false},"frame_pin":"d94f590d0af390567aa94b90f41d0467b1046a22a55d0898de2051b5f9ac9367","id":"R04-v3-SEAM~rule","invariants":["boundary_kind"],"line":"L1","literals":["domain_here"],"phase":32,"questions":["boundary_kind","domain_here"],"read":4,"request_pin":"407342c66487442bd301d395f26964d656943f8b7933b5b4cf75dc3b8bf2846b","same_as":null,"twin_of":"R03-v3-SEAM~rule","viewpoint":"v3","window":"SEAM"},{"body":"pair","expected":{"domain_here":false},"frame_pin":"7e3b8866f248413bf2c538464d8a10d8d658c0a3a7fb9c2398008c744f2fe05c","id":"R04-v3-SEAM~pair","invariants":[],"line":"L1","literals":["domain_here"],"phase":32,"questions":["domain_here"],"read":4,"request_pin":"71c56a2f74a5f6e602dd9d639f670774b04cec49fb6fa7f0b0075d252c14a9cd","same_as":null,"twin_of":"R03-v3-SEAM~pair","viewpoint":"v3","window":"SEAM"},{"body":"first","expected":{"blanks_inner_fold1":"4","blanks_inner_group_1":"2","blanks_inner_group_2":"2","blanks_inner_group_3":"0","blanks_inner_group_4":"0","blanks_inner_group_5":"2","blanks_inner_group_6":"2","blanks_inner_group_7":"0","blanks_inner_group_8":"0","blanks_middle_fold1":"2","closed":true,"counts_inner_fold1":"0","counts_middle_fold1":"2","domain_gapped":true,"domain_group":"1","gapped_segments":"2","groups_in_row":"4"},"frame_pin":"937e4e3afe8de8ec64b28d863f539e90f59207f62147ac18ef85149cf2c523bc","id":"R05-v0-FULL~first","invariants":["blanks_inner_fold1","blanks_inner_group_1","blanks_inner_group_2","blanks_inner_group_3","blanks_inner_group_4","blanks_inner_group_5","blanks_inner_group_6","blanks_inner_group_7","blanks_inner_group_8","blanks_middle_fold1","closed","counts_inner_fold1","counts_middle_fold1","gapped_segments","groups_in_row"],"line":"L1","literals":["domain_gapped","domain_group"],"phase":0,"questions":["blanks_inner_fold1","blanks_inner_group_1","blanks_inner_group_2","blanks_inner_group_3","blanks_inner_group_4","blanks_inner_group_5","blanks_inner_group_6","blanks_inner_group_7","blanks_inner_group_8","blanks_middle_fold1","closed","counts_inner_fold1","counts_middle_fold1","domain_gapped","domain_group","gapped_segments","groups_in_row"],"read":5,"request_pin":"04d5d409f665d0dc1170eabc2e70d4672dc1730c439b568835d0ece158708e64","same_as":null,"twin_of":null,"viewpoint":"v0","window":"FULL"},{"body":"rule","expected":{"closed":true,"domain_gapped":true,"domain_group":"1","gapped_segments":"2","groups_in_row":"4"},"frame_pin":"89e9ae11222fed28c43ab377f0aa0da7795e2c1a29a77f00d9534d1f8ed75913","id":"R05-v0-FULL~rule","invariants":["closed","gapped_segments","groups_in_row"],"line":"L1","literals":["domain_gapped","domain_group"],"phase":0,"questions":["closed","domain_gapped","domain_group","gapped_segments","groups_in_row"],"read":5,"request_pin":"20efdaac98330b4ab05f8c79d76b92bc3a9b5bb7a9f2d969920de65260c9936d","same_as":null,"twin_of":null,"viewpoint":"v0","window":"FULL"},{"body":"pair","expected":{"direction":{"plausible":["forward","back"]},"domain_group":"1","moved_groups":"4","returns_soon":true},"frame_pin":"934e4ff029fa927ef4b085a92c3f6b57af7287ba04245cc0e9e3623bcf444bc3","id":"R05-v0-FULL~pair","invariants":[],"line":"L1","literals":["direction","domain_group","moved_groups","returns_soon"],"phase":0,"questions":["direction","domain_group","moved_groups","returns_soon"],"read":5,"request_pin":"f3e0c89264a0369123e2edb2519a3e813731a2b12929b034bb436edd1b37ffdb","same_as":null,"twin_of":null,"viewpoint":"v0","window":"FULL"},{"body":"first","expected":{"blanks_inner_here":"4","blanks_middle_here":"2","counts_inner_here":"0","counts_middle_here":"2","domain_here":true},"frame_pin":"0c0efb3b7a32e86e922d180cb347f68c5bfefa3f0cbd95044a84cc6c74f8d58f","id":"R05-v0-FOLD~first","invariants":["blanks_inner_here","blanks_middle_here","counts_inner_here","counts_middle_here"],"line":"L1","literals":["domain_here"],"phase":0,"questions":["blanks_inner_here","blanks_middle_here","counts_inner_here","counts_middle_here","domain_here"],"read":5,"request_pin":"3d364e32abfbaa50998d251cba3416856ff1309ab1ef10a17efe9c53807363de","same_as":null,"twin_of":null,"viewpoint":"v0","window":"FOLD"},{"body":"rule","expected":{"blanks_inner_here":"4","blanks_middle_here":"2","domain_here":true},"frame_pin":"444d2c61db3875fee77858f9a054e89ac9ea7fa0665930dfc77944479bcc4c73","id":"R05-v0-FOLD~rule","invariants":["blanks_inner_here","blanks_middle_here"],"line":"L1","literals":["domain_here"],"phase":0,"questions":["blanks_inner_here","blanks_middle_here","domain_here"],"read":5,"request_pin":"f6881dfd0e10edc5415b03ff757650fbf25e42b7a030c17c58b36a5e4c163b9f","same_as":null,"twin_of":null,"viewpoint":"v0","window":"FOLD"},{"body":"pair","expected":{"domain_here":true},"frame_pin":"b5f9b0af88f88433c35232eb5bbf08a1835a775952af25eda4cbf543402cf48c","id":"R05-v0-FOLD~pair","invariants":[],"line":"L1","literals":["domain_here"],"phase":0,"questions":["domain_here"],"read":5,"request_pin":"883f13cae746ba42f3cd2da189819693bbf6e2a77d46c26de1b4b7924c73c9d8","same_as":null,"twin_of":null,"viewpoint":"v0","window":"FOLD"},{"body":"first","expected":{"blanks_inner_after":"1","boundary_kind":"begins","domain_here":true},"frame_pin":"1d4d12b1332a386df52985bf29de5c12549c28956e1325f0a3d051aebcc5c87c","id":"R05-v0-SEAM~first","invariants":["blanks_inner_after","boundary_kind"],"line":"L1","literals":["domain_here"],"phase":0,"questions":["blanks_inner_after","boundary_kind","domain_here"],"read":5,"request_pin":"c71f691f349d54bcd3584515de60736f82b1ea24df1340e8e0a8ef813fdbb8ac","same_as":null,"twin_of":null,"viewpoint":"v0","window":"SEAM"},{"body":"rule","expected":{"boundary_kind":"begins","domain_here":true},"frame_pin":"2868032eb23ce23895abfec796984edf065d61b988b0694a24a8e052d281d930","id":"R05-v0-SEAM~rule","invariants":["boundary_kind"],"line":"L1","literals":["domain_here"],"phase":0,"questions":["boundary_kind","domain_here"],"read":5,"request_pin":"957bc2f22b6afa7f4305344fe6391c0da870d3d11ca36e29a98bf507756bfd0d","same_as":null,"twin_of":null,"viewpoint":"v0","window":"SEAM"},{"body":"pair","expected":{"domain_here":true},"frame_pin":"6dbc343526c8eb508dd8af10642fcac9e88ae7593706badcf60af0efd82f814c","id":"R05-v0-SEAM~pair","invariants":[],"line":"L1","literals":["domain_here"],"phase":0,"questions":["domain_here"],"read":5,"request_pin":"c33138fd17f7da3520ebad07d822ee56127f55e0c337fbc9811599172b89eed3","same_as":null,"twin_of":null,"viewpoint":"v0","window":"SEAM"},{"body":"first","expected":{"blanks_inner_fold1":"4","blanks_inner_group_1":"0","blanks_inner_group_2":"0","blanks_inner_group_3":"2","blanks_inner_group_4":"2","blanks_inner_group_5":"0","blanks_inner_group_6":"0","blanks_inner_group_7":"2","blanks_inner_group_8":"2","blanks_middle_fold1":"2","closed":true,"counts_inner_fold1":"0","counts_middle_fold1":"2","domain_gapped":true,"domain_group":"7","gapped_segments":"2","groups_in_row":"4"},"frame_pin":"8ab5b50336cb8ceb2a3747a8171e109070a16d39ca0719556e6538dff19d0674","id":"R05-v1-FULL~first","invariants":["blanks_inner_fold1","blanks_inner_group_1","blanks_inner_group_2","blanks_inner_group_3","blanks_inner_group_4","blanks_inner_group_5","blanks_inner_group_6","blanks_inner_group_7","blanks_inner_group_8","blanks_middle_fold1","closed","counts_inner_fold1","counts_middle_fold1","gapped_segments","groups_in_row"],"line":"L1","literals":["domain_gapped","domain_group"],"phase":0,"questions":["blanks_inner_fold1","blanks_inner_group_1","blanks_inner_group_2","blanks_inner_group_3","blanks_inner_group_4","blanks_inner_group_5","blanks_inner_group_6","blanks_inner_group_7","blanks_inner_group_8","blanks_middle_fold1","closed","counts_inner_fold1","counts_middle_fold1","domain_gapped","domain_group","gapped_segments","groups_in_row"],"read":5,"request_pin":"6e21662dee117f751f051c3d0d0b266a042c0850083e52efa63a02dd57bcc5a6","same_as":null,"twin_of":null,"viewpoint":"v1","window":"FULL"},{"body":"rule","expected":{"closed":true,"domain_gapped":true,"domain_group":"7","gapped_segments":"2","groups_in_row":"4"},"frame_pin":"b5d47efc14556c03b1ed4f0d3dc1c40b7734b60429d4c2be4b85859788003e77","id":"R05-v1-FULL~rule","invariants":["closed","gapped_segments","groups_in_row"],"line":"L1","literals":["domain_gapped","domain_group"],"phase":0,"questions":["closed","domain_gapped","domain_group","gapped_segments","groups_in_row"],"read":5,"request_pin":"efbbc55f5987b05974706ea0aa2d25fb3d48f9eca7c741bce31a2529b34a245a","same_as":null,"twin_of":null,"viewpoint":"v1","window":"FULL"},{"body":"pair","expected":{"direction":{"plausible":["forward","back"]},"domain_group":"7","moved_groups":"4","returns_soon":true},"frame_pin":"47fc47da3aff93529e8eff0ac6f137ee106f42ca38dd777ff401cc01a85a02e5","id":"R05-v1-FULL~pair","invariants":[],"line":"L1","literals":["direction","domain_group","moved_groups","returns_soon"],"phase":0,"questions":["direction","domain_group","moved_groups","returns_soon"],"read":5,"request_pin":"a0d06978cf17b5154bf9247df456331d4c825e483a14a50246e98b89c5209e18","same_as":null,"twin_of":null,"viewpoint":"v1","window":"FULL"},{"body":"first","expected":{"blanks_inner_here":"0","blanks_middle_here":"0","domain_here":false},"frame_pin":"dac76f1930012ba6992541e3c438ae2a1d442de7ece0cf9d2c4fb2211bea6828","id":"R05-v1-RUN~first","invariants":["blanks_inner_here","blanks_middle_here"],"line":"L1","literals":["domain_here"],"phase":0,"questions":["blanks_inner_here","blanks_middle_here","domain_here"],"read":5,"request_pin":"6ec1f73ce4db5f9959a96f646cda0b3a4c2746af298aa14387b74902bc45a0b9","same_as":null,"twin_of":null,"viewpoint":"v1","window":"RUN"},{"body":"rule","expected":{"blanks_middle_here":"0","domain_here":false},"frame_pin":"9275c7573ba35aab964c75698d0b3697cb04a20f1c488fe60554ac804676edf3","id":"R05-v1-RUN~rule","invariants":["blanks_middle_here"],"line":"L1","literals":["domain_here"],"phase":0,"questions":["blanks_middle_here","domain_here"],"read":5,"request_pin":"0f0dc265911d2985dfb09430f91ad0d25922c27d54f75d3301614f342fd7b180","same_as":null,"twin_of":null,"viewpoint":"v1","window":"RUN"},{"body":"pair","expected":{"domain_here":false},"frame_pin":"7b089a6b51876cad1150e37a0843c0eb7ab7726bda681c717d635caa4048c311","id":"R05-v1-RUN~pair","invariants":[],"line":"L1","literals":["domain_here"],"phase":0,"questions":["domain_here"],"read":5,"request_pin":"f632beb0049797fb55646f6997050c5130b0c8428ec8890f58d6bd5221eea208","same_as":null,"twin_of":null,"viewpoint":"v1","window":"RUN"},{"body":"first","expected":{"blanks_inner_after":"0","boundary_kind":"ends","domain_here":false},"frame_pin":"db9e77929d56d88d486bfc5527b5d039133e39971c5f13f15ed1cc6196179cd4","id":"R05-v1-SEAM~first","invariants":["blanks_inner_after","boundary_kind"],"line":"L1","literals":["domain_here"],"phase":0,"questions":["blanks_inner_after","boundary_kind","domain_here"],"read":5,"request_pin":"dbe66c3b00481fea159aab0f8630f64fe3dc74fbddbc431ec42d660383a7acaa","same_as":null,"twin_of":null,"viewpoint":"v1","window":"SEAM"},{"body":"rule","expected":{"boundary_kind":"ends","domain_here":false},"frame_pin":"ac4daa1ce827335da7eae8d7a0895bd10ab33e784e042d81f944ec913e53cf79","id":"R05-v1-SEAM~rule","invariants":["boundary_kind"],"line":"L1","literals":["domain_here"],"phase":0,"questions":["boundary_kind","domain_here"],"read":5,"request_pin":"84440ef42cb538da2d2e73b30ae1b755b9e3a9b4e791b8976c947ce7bc8a0132","same_as":null,"twin_of":null,"viewpoint":"v1","window":"SEAM"},{"body":"pair","expected":{"domain_here":false},"frame_pin":"bae74bc6ae1f81a6cd0664b797970e8db7023358094248bddf0cba9246e5d535","id":"R05-v1-SEAM~pair","invariants":[],"line":"L1","literals":["domain_here"],"phase":0,"questions":["domain_here"],"read":5,"request_pin":"5bce30290a59d81c2ad7733bf192f44ec959077e4401f56bdd512a911e6a98b8","same_as":null,"twin_of":null,"viewpoint":"v1","window":"SEAM"},{"body":"first","expected":{"blanks_inner_fold1":"4","blanks_inner_group_1":"2","blanks_inner_group_2":"2","blanks_inner_group_3":"0","blanks_inner_group_4":"0","blanks_inner_group_5":"2","blanks_inner_group_6":"2","blanks_inner_group_7":"0","blanks_inner_group_8":"0","blanks_middle_fold1":"2","closed":true,"counts_inner_fold1":"0","counts_middle_fold1":"2","domain_gapped":true,"domain_group":"5","gapped_segments":"2","groups_in_row":"4"},"frame_pin":"e1a3ece850b4676706d812a9415609b86fc8f73b7f7a53895530aa9417003dc4","id":"R05-v2-FULL~first","invariants":["blanks_inner_fold1","blanks_inner_group_1","blanks_inner_group_2","blanks_inner_group_3","blanks_inner_group_4","blanks_inner_group_5","blanks_inner_group_6","blanks_inner_group_7","blanks_inner_group_8","blanks_middle_fold1","closed","counts_inner_fold1","counts_middle_fold1","gapped_segments","groups_in_row"],"line":"L1","literals":["domain_gapped","domain_group"],"phase":0,"questions":["blanks_inner_fold1","blanks_inner_group_1","blanks_inner_group_2","blanks_inner_group_3","blanks_inner_group_4","blanks_inner_group_5","blanks_inner_group_6","blanks_inner_group_7","blanks_inner_group_8","blanks_middle_fold1","closed","counts_inner_fold1","counts_middle_fold1","domain_gapped","domain_group","gapped_segments","groups_in_row"],"read":5,"request_pin":"1899141b949212e356c0e030b2f954846a9bf12953c911c02af67881cde62c9b","same_as":null,"twin_of":null,"viewpoint":"v2","window":"FULL"},{"body":"rule","expected":{"closed":true,"domain_gapped":true,"domain_group":"5","gapped_segments":"2","groups_in_row":"4"},"frame_pin":"e301cdf9fa15d0913cb6acf2621c2196fc81207758386735860d031bbf414115","id":"R05-v2-FULL~rule","invariants":["closed","gapped_segments","groups_in_row"],"line":"L1","literals":["domain_gapped","domain_group"],"phase":0,"questions":["closed","domain_gapped","domain_group","gapped_segments","groups_in_row"],"read":5,"request_pin":"37193fbb4176e3f15859649bb160e83b4777dfa216624af29a905f7ee1943f51","same_as":null,"twin_of":null,"viewpoint":"v2","window":"FULL"},{"body":"pair","expected":{"direction":{"plausible":["forward","back"]},"domain_group":"5","moved_groups":"4","returns_soon":true},"frame_pin":"cfb730e077a2f694d83c2ac89ca0d45c440f15354108bdce43fe897bc75b44e6","id":"R05-v2-FULL~pair","invariants":[],"line":"L1","literals":["direction","domain_group","moved_groups","returns_soon"],"phase":0,"questions":["direction","domain_group","moved_groups","returns_soon"],"read":5,"request_pin":"42d380fc0aea6c21c93f940acf5adc5b7cbafcb2c3fcf246eaf4383007443fee","same_as":null,"twin_of":null,"viewpoint":"v2","window":"FULL"},{"body":"first","expected":{"blanks_inner_here":"4","blanks_middle_here":"2","counts_inner_here":"0","counts_middle_here":"2","domain_here":false},"frame_pin":"a37eb87ed20c47ab2be00c08f6e30470c0f3aac2ba3e6f530a881bb734b3a8f9","id":"R05-v2-FOLD~first","invariants":["blanks_inner_here","blanks_middle_here","counts_inner_here","counts_middle_here"],"line":"L1","literals":["domain_here"],"phase":0,"questions":["blanks_inner_here","blanks_middle_here","counts_inner_here","counts_middle_here","domain_here"],"read":5,"request_pin":"6093a94da63b1a874911165e893b99844da20b2abfee951333c5facd04e5c2d7","same_as":null,"twin_of":null,"viewpoint":"v2","window":"FOLD"},{"body":"rule","expected":{"blanks_inner_here":"4","blanks_middle_here":"2","domain_here":false},"frame_pin":"de685ebdec54593c419b5b3920a10e45ee31d1ebf18a199222e2ab549803c339","id":"R05-v2-FOLD~rule","invariants":["blanks_inner_here","blanks_middle_here"],"line":"L1","literals":["domain_here"],"phase":0,"questions":["blanks_inner_here","blanks_middle_here","domain_here"],"read":5,"request_pin":"1be76b4cfb19c6752829f0ee744fa2fdc4a7eea2089e72ae583db8599aad2cd6","same_as":null,"twin_of":null,"viewpoint":"v2","window":"FOLD"},{"body":"pair","expected":{"domain_here":false},"frame_pin":"b8be565e06318dbff682418ac76697814d85a492349ac420e8ecccb9198f15ce","id":"R05-v2-FOLD~pair","invariants":[],"line":"L1","literals":["domain_here"],"phase":0,"questions":["domain_here"],"read":5,"request_pin":"fa7ff554a9da2da6f8cafd130c3f3bfb405253e79729fdf8658856709354cad0","same_as":null,"twin_of":null,"viewpoint":"v2","window":"FOLD"},{"body":"first","expected":{"blanks_inner_after":"1","boundary_kind":"begins","domain_here":false},"frame_pin":"70ad55fdc76dfa75d0acb273991784a7418196e5433931ac4e723fe51f70dac5","id":"R05-v2-SEAM~first","invariants":["blanks_inner_after","boundary_kind"],"line":"L1","literals":["domain_here"],"phase":0,"questions":["blanks_inner_after","boundary_kind","domain_here"],"read":5,"request_pin":"1105a6f66208a68ab7207f790e728bdf06cfe92a9c0d50d318bbb0d64a158111","same_as":null,"twin_of":null,"viewpoint":"v2","window":"SEAM"},{"body":"rule","expected":{"boundary_kind":"begins","domain_here":false},"frame_pin":"b5bc755ebd027eadc58844624f25b8c558e066c40d062e96ca277d05da3b3f60","id":"R05-v2-SEAM~rule","invariants":["boundary_kind"],"line":"L1","literals":["domain_here"],"phase":0,"questions":["boundary_kind","domain_here"],"read":5,"request_pin":"a7ea6d31f788d05c173b1e24b09dc5660515b5b48a5e751672203788d59272fe","same_as":null,"twin_of":null,"viewpoint":"v2","window":"SEAM"},{"body":"pair","expected":{"domain_here":false},"frame_pin":"e8dc1c519342356ab5bd76fa44d3d736f77a01aadc67ee51f1d0551957e6d227","id":"R05-v2-SEAM~pair","invariants":[],"line":"L1","literals":["domain_here"],"phase":0,"questions":["domain_here"],"read":5,"request_pin":"720da8c049de357a24e17661aeaeef382b62757c2c54891c337277ced349425a","same_as":null,"twin_of":null,"viewpoint":"v2","window":"SEAM"},{"body":"first","expected":{"blanks_inner_fold1":"4","blanks_inner_group_1":"0","blanks_inner_group_2":"0","blanks_inner_group_3":"2","blanks_inner_group_4":"2","blanks_inner_group_5":"0","blanks_inner_group_6":"0","blanks_inner_group_7":"2","blanks_inner_group_8":"2","blanks_middle_fold1":"2","closed":true,"counts_inner_fold1":"0","counts_middle_fold1":"2","domain_gapped":true,"domain_group":"3","gapped_segments":"2","groups_in_row":"4"},"frame_pin":"d785db5fb505804429cedaba2a0dfc7fe73d99e649ddc18ddc137522011c3fab","id":"R05-v3-FULL~first","invariants":["blanks_inner_fold1","blanks_inner_group_1","blanks_inner_group_2","blanks_inner_group_3","blanks_inner_group_4","blanks_inner_group_5","blanks_inner_group_6","blanks_inner_group_7","blanks_inner_group_8","blanks_middle_fold1","closed","counts_inner_fold1","counts_middle_fold1","gapped_segments","groups_in_row"],"line":"L1","literals":["domain_gapped","domain_group"],"phase":0,"questions":["blanks_inner_fold1","blanks_inner_group_1","blanks_inner_group_2","blanks_inner_group_3","blanks_inner_group_4","blanks_inner_group_5","blanks_inner_group_6","blanks_inner_group_7","blanks_inner_group_8","blanks_middle_fold1","closed","counts_inner_fold1","counts_middle_fold1","domain_gapped","domain_group","gapped_segments","groups_in_row"],"read":5,"request_pin":"29c1e07d6de204a22bd9980038cae1134bb20aeb68dc6941de952899f9086ab2","same_as":null,"twin_of":null,"viewpoint":"v3","window":"FULL"},{"body":"rule","expected":{"closed":true,"domain_gapped":true,"domain_group":"3","gapped_segments":"2","groups_in_row":"4"},"frame_pin":"f77ffcf10d1e9e3ab4536d397feb59f911f69f8d41991ab3db17de97db072288","id":"R05-v3-FULL~rule","invariants":["closed","gapped_segments","groups_in_row"],"line":"L1","literals":["domain_gapped","domain_group"],"phase":0,"questions":["closed","domain_gapped","domain_group","gapped_segments","groups_in_row"],"read":5,"request_pin":"df13e86c9bfe754769c46c98e4eb7741200afc2b4b40732499d61b60f6cebd51","same_as":null,"twin_of":null,"viewpoint":"v3","window":"FULL"},{"body":"pair","expected":{"direction":{"plausible":["forward","back"]},"domain_group":"3","moved_groups":"4","returns_soon":true},"frame_pin":"e00eb6c5c71252f00e5e598a466fa25010db32916ff88407be48d250cd6ae17f","id":"R05-v3-FULL~pair","invariants":[],"line":"L1","literals":["direction","domain_group","moved_groups","returns_soon"],"phase":0,"questions":["direction","domain_group","moved_groups","returns_soon"],"read":5,"request_pin":"43db0b2daa3262604d03a88633785a20c771efb3fa7863e2d51b05845a7c4144","same_as":null,"twin_of":null,"viewpoint":"v3","window":"FULL"},{"body":"first","expected":{"blanks_inner_here":"0","blanks_middle_here":"0","domain_here":false},"frame_pin":"dac76f1930012ba6992541e3c438ae2a1d442de7ece0cf9d2c4fb2211bea6828","id":"R05-v3-RUN~first","invariants":["blanks_inner_here","blanks_middle_here"],"line":"L1","literals":["domain_here"],"phase":0,"questions":["blanks_inner_here","blanks_middle_here","domain_here"],"read":5,"request_pin":"6ec1f73ce4db5f9959a96f646cda0b3a4c2746af298aa14387b74902bc45a0b9","same_as":"R05-v1-RUN~first","twin_of":"R05-v1-RUN~first","viewpoint":"v3","window":"RUN"},{"body":"rule","expected":{"blanks_middle_here":"0","domain_here":false},"frame_pin":"9275c7573ba35aab964c75698d0b3697cb04a20f1c488fe60554ac804676edf3","id":"R05-v3-RUN~rule","invariants":["blanks_middle_here"],"line":"L1","literals":["domain_here"],"phase":0,"questions":["blanks_middle_here","domain_here"],"read":5,"request_pin":"0f0dc265911d2985dfb09430f91ad0d25922c27d54f75d3301614f342fd7b180","same_as":"R05-v1-RUN~rule","twin_of":"R05-v1-RUN~rule","viewpoint":"v3","window":"RUN"},{"body":"pair","expected":{"domain_here":false},"frame_pin":"7b089a6b51876cad1150e37a0843c0eb7ab7726bda681c717d635caa4048c311","id":"R05-v3-RUN~pair","invariants":[],"line":"L1","literals":["domain_here"],"phase":0,"questions":["domain_here"],"read":5,"request_pin":"f632beb0049797fb55646f6997050c5130b0c8428ec8890f58d6bd5221eea208","same_as":"R05-v1-RUN~pair","twin_of":"R05-v1-RUN~pair","viewpoint":"v3","window":"RUN"},{"body":"first","expected":{"blanks_inner_after":"0","boundary_kind":"ends","domain_here":false},"frame_pin":"91adca5531ad1700b81f863835ec49606ccfeea81b60028053c455738cf682b2","id":"R05-v3-SEAM~first","invariants":["blanks_inner_after","boundary_kind"],"line":"L1","literals":["domain_here"],"phase":0,"questions":["blanks_inner_after","boundary_kind","domain_here"],"read":5,"request_pin":"67c44e1cce930b2df58528462095c46db72181d48fb4c0034dd41efb3bda7539","same_as":null,"twin_of":null,"viewpoint":"v3","window":"SEAM"},{"body":"rule","expected":{"boundary_kind":"ends","domain_here":false},"frame_pin":"d94f590d0af390567aa94b90f41d0467b1046a22a55d0898de2051b5f9ac9367","id":"R05-v3-SEAM~rule","invariants":["boundary_kind"],"line":"L1","literals":["domain_here"],"phase":0,"questions":["boundary_kind","domain_here"],"read":5,"request_pin":"407342c66487442bd301d395f26964d656943f8b7933b5b4cf75dc3b8bf2846b","same_as":null,"twin_of":null,"viewpoint":"v3","window":"SEAM"},{"body":"pair","expected":{"domain_here":false},"frame_pin":"7e3b8866f248413bf2c538464d8a10d8d658c0a3a7fb9c2398008c744f2fe05c","id":"R05-v3-SEAM~pair","invariants":[],"line":"L1","literals":["domain_here"],"phase":0,"questions":["domain_here"],"read":5,"request_pin":"71c56a2f74a5f6e602dd9d639f670774b04cec49fb6fa7f0b0075d252c14a9cd","same_as":null,"twin_of":null,"viewpoint":"v3","window":"SEAM"},{"body":"first","expected":{"blanks_inner_fold1":"4","blanks_inner_group_1":"2","blanks_inner_group_2":"2","blanks_inner_group_3":"0","blanks_inner_group_4":"0","blanks_inner_group_5":"2","blanks_inner_group_6":"2","blanks_inner_group_7":"0","blanks_inner_group_8":"0","blanks_middle_fold1":"2","closed":true,"counts_inner_fold1":"0","counts_middle_fold1":"2","domain_gapped":true,"domain_group":"5","gapped_segments":"2","groups_in_row":"4"},"frame_pin":"585b6933341b5e1dbce3f88996dac376ffea71615939b10191dc350dceec970b","id":"R06-v0-FULL~first","invariants":["blanks_inner_fold1","blanks_inner_group_1","blanks_inner_group_2","blanks_inner_group_3","blanks_inner_group_4","blanks_inner_group_5","blanks_inner_group_6","blanks_inner_group_7","blanks_inner_group_8","blanks_middle_fold1","closed","counts_inner_fold1","counts_middle_fold1","gapped_segments","groups_in_row"],"line":"L1","literals":["domain_gapped","domain_group"],"phase":32,"questions":["blanks_inner_fold1","blanks_inner_group_1","blanks_inner_group_2","blanks_inner_group_3","blanks_inner_group_4","blanks_inner_group_5","blanks_inner_group_6","blanks_inner_group_7","blanks_inner_group_8","blanks_middle_fold1","closed","counts_inner_fold1","counts_middle_fold1","domain_gapped","domain_group","gapped_segments","groups_in_row"],"read":6,"request_pin":"56ca4878250c88b72d4cde83629e6751c462cd6957f0d6f37cd37200ce0400cb","same_as":null,"twin_of":null,"viewpoint":"v0","window":"FULL"},{"body":"rule","expected":{"closed":true,"domain_gapped":true,"domain_group":"5","gapped_segments":"2","groups_in_row":"4"},"frame_pin":"0354c6c05301c8ceb2718d3f54cc158fb8922f62aaf183946633f052aa819a1c","id":"R06-v0-FULL~rule","invariants":["closed","gapped_segments","groups_in_row"],"line":"L1","literals":["domain_gapped","domain_group"],"phase":32,"questions":["closed","domain_gapped","domain_group","gapped_segments","groups_in_row"],"read":6,"request_pin":"ed8aa88359288ca6e78dc7a034a87d5c4dffec45f249b573e36cb5d0532d3d7d","same_as":null,"twin_of":null,"viewpoint":"v0","window":"FULL"},{"body":"pair","expected":{"direction":{"plausible":["forward","back"]},"domain_group":"5","moved_groups":"4","returns_soon":true},"frame_pin":"793b23c1c40550b38bbf6deeb8c9218cba574c806036f2bc1812806b26f62e27","id":"R06-v0-FULL~pair","invariants":[],"line":"L1","literals":["direction","domain_group","moved_groups","returns_soon"],"phase":32,"questions":["direction","domain_group","moved_groups","returns_soon"],"read":6,"request_pin":"dd80493ff965a31ccf1dd2e00f6a796f6102b88be1d3e42796b287ec05f51bd6","same_as":null,"twin_of":null,"viewpoint":"v0","window":"FULL"},{"body":"first","expected":{"blanks_inner_here":"4","blanks_middle_here":"2","counts_inner_here":"0","counts_middle_here":"2","domain_here":false},"frame_pin":"0734d0f01441f74a001888047c8a9aca707f9566efcb8a5ddae436372e10478d","id":"R06-v0-FOLD~first","invariants":["blanks_inner_here","blanks_middle_here","counts_inner_here","counts_middle_here"],"line":"L1","literals":["domain_here"],"phase":32,"questions":["blanks_inner_here","blanks_middle_here","counts_inner_here","counts_middle_here","domain_here"],"read":6,"request_pin":"2538ab960dc81d518b8d18cc0474a3d591365cb8558b100a4dba6c505f03fc45","same_as":null,"twin_of":null,"viewpoint":"v0","window":"FOLD"},{"body":"rule","expected":{"blanks_inner_here":"4","blanks_middle_here":"2","domain_here":false},"frame_pin":"de85aa29e3a8bdc2390a8b5f4c7c9fa661dad8df20110fce9e2c3db2d34e2524","id":"R06-v0-FOLD~rule","invariants":["blanks_inner_here","blanks_middle_here"],"line":"L1","literals":["domain_here"],"phase":32,"questions":["blanks_inner_here","blanks_middle_here","domain_here"],"read":6,"request_pin":"aa7ec6301f9d51f9db970ffe4bb9a5cdd947a17446c6b4616bf7b7417c8148a2","same_as":null,"twin_of":null,"viewpoint":"v0","window":"FOLD"},{"body":"pair","expected":{"domain_here":false},"frame_pin":"fa704b5e6c50ac3287b9e94859b1585a768a6c634ba4e22d6a60ce1bbd387eb9","id":"R06-v0-FOLD~pair","invariants":[],"line":"L1","literals":["domain_here"],"phase":32,"questions":["domain_here"],"read":6,"request_pin":"097fd1539eef9b71ef3642ff9075d162c9075e655691ba08e63ed0dda6aaa4e8","same_as":null,"twin_of":null,"viewpoint":"v0","window":"FOLD"},{"body":"first","expected":{"blanks_inner_after":"1","boundary_kind":"begins","domain_here":false},"frame_pin":"406e5527a0b9e67e829411939f124db9bb6c730bee8ef4641e3f02502244a625","id":"R06-v0-SEAM~first","invariants":["blanks_inner_after","boundary_kind"],"line":"L1","literals":["domain_here"],"phase":32,"questions":["blanks_inner_after","boundary_kind","domain_here"],"read":6,"request_pin":"fa3c4a1ce49fef2d39f7eed81c06eb103bdf7b4789807d7a1a608bdf5aec3844","same_as":null,"twin_of":null,"viewpoint":"v0","window":"SEAM"},{"body":"rule","expected":{"boundary_kind":"begins","domain_here":false},"frame_pin":"d974e5d16b6b8e9abd77342bebfe5790828fae3ad26dd514c099bed58f6a0eb4","id":"R06-v0-SEAM~rule","invariants":["boundary_kind"],"line":"L1","literals":["domain_here"],"phase":32,"questions":["boundary_kind","domain_here"],"read":6,"request_pin":"96766b2bd69979dd4c94ac23a9948210b426c8f9d9688f3d9822a3bf679c54e3","same_as":null,"twin_of":null,"viewpoint":"v0","window":"SEAM"},{"body":"pair","expected":{"domain_here":false},"frame_pin":"6f95188e53a8b69f911b0d5fdd2c6c75cbd60579c995fd64f40c446951f3f133","id":"R06-v0-SEAM~pair","invariants":[],"line":"L1","literals":["domain_here"],"phase":32,"questions":["domain_here"],"read":6,"request_pin":"ed935d6f2d73cfdc7fabeb495b1ef708b5cf5c7a3317fd34040d484b6f05f3ff","same_as":null,"twin_of":null,"viewpoint":"v0","window":"SEAM"},{"body":"first","expected":{"blanks_inner_fold1":"4","blanks_inner_group_1":"0","blanks_inner_group_2":"0","blanks_inner_group_3":"2","blanks_inner_group_4":"2","blanks_inner_group_5":"0","blanks_inner_group_6":"0","blanks_inner_group_7":"2","blanks_inner_group_8":"2","blanks_middle_fold1":"2","closed":true,"counts_inner_fold1":"0","counts_middle_fold1":"2","domain_gapped":true,"domain_group":"3","gapped_segments":"2","groups_in_row":"4"},"frame_pin":"e7084b0db0a6655cd4d7fa7026da2da9264de96e104b6855d84534217a02cf19","id":"R06-v1-FULL~first","invariants":["blanks_inner_fold1","blanks_inner_group_1","blanks_inner_group_2","blanks_inner_group_3","blanks_inner_group_4","blanks_inner_group_5","blanks_inner_group_6","blanks_inner_group_7","blanks_inner_group_8","blanks_middle_fold1","closed","counts_inner_fold1","counts_middle_fold1","gapped_segments","groups_in_row"],"line":"L1","literals":["domain_gapped","domain_group"],"phase":32,"questions":["blanks_inner_fold1","blanks_inner_group_1","blanks_inner_group_2","blanks_inner_group_3","blanks_inner_group_4","blanks_inner_group_5","blanks_inner_group_6","blanks_inner_group_7","blanks_inner_group_8","blanks_middle_fold1","closed","counts_inner_fold1","counts_middle_fold1","domain_gapped","domain_group","gapped_segments","groups_in_row"],"read":6,"request_pin":"51027ba894e04735e3cad603db18d9be1a475e2ddcec6e11ff265bf7117db704","same_as":null,"twin_of":null,"viewpoint":"v1","window":"FULL"},{"body":"rule","expected":{"closed":true,"domain_gapped":true,"domain_group":"3","gapped_segments":"2","groups_in_row":"4"},"frame_pin":"dcdeedb1cbc5dcd8c9189f227c30866feb88d9768828bd9bb7efd0e40f40a9da","id":"R06-v1-FULL~rule","invariants":["closed","gapped_segments","groups_in_row"],"line":"L1","literals":["domain_gapped","domain_group"],"phase":32,"questions":["closed","domain_gapped","domain_group","gapped_segments","groups_in_row"],"read":6,"request_pin":"a1d90068c57a91c5c5b5394c498163590d5e0367916f70a7d347932074d02851","same_as":null,"twin_of":null,"viewpoint":"v1","window":"FULL"},{"body":"pair","expected":{"direction":{"plausible":["forward","back"]},"domain_group":"3","moved_groups":"4","returns_soon":true},"frame_pin":"9ac74b36bf61f28023361532d3789150d43b1f4c7e7ef15b3024980f0696a1c8","id":"R06-v1-FULL~pair","invariants":[],"line":"L1","literals":["direction","domain_group","moved_groups","returns_soon"],"phase":32,"questions":["direction","domain_group","moved_groups","returns_soon"],"read":6,"request_pin":"16b2966af6df7c855df358a7a51c38779318ab82cd4e04430ef05e21b648230f","same_as":null,"twin_of":null,"viewpoint":"v1","window":"FULL"},{"body":"first","expected":{"blanks_inner_here":"0","blanks_middle_here":"0","domain_here":false},"frame_pin":"dac76f1930012ba6992541e3c438ae2a1d442de7ece0cf9d2c4fb2211bea6828","id":"R06-v1-RUN~first","invariants":["blanks_inner_here","blanks_middle_here"],"line":"L1","literals":["domain_here"],"phase":32,"questions":["blanks_inner_here","blanks_middle_here","domain_here"],"read":6,"request_pin":"6ec1f73ce4db5f9959a96f646cda0b3a4c2746af298aa14387b74902bc45a0b9","same_as":null,"twin_of":"R05-v1-RUN~first","viewpoint":"v1","window":"RUN"},{"body":"rule","expected":{"blanks_middle_here":"0","domain_here":false},"frame_pin":"9275c7573ba35aab964c75698d0b3697cb04a20f1c488fe60554ac804676edf3","id":"R06-v1-RUN~rule","invariants":["blanks_middle_here"],"line":"L1","literals":["domain_here"],"phase":32,"questions":["blanks_middle_here","domain_here"],"read":6,"request_pin":"0f0dc265911d2985dfb09430f91ad0d25922c27d54f75d3301614f342fd7b180","same_as":null,"twin_of":"R05-v1-RUN~rule","viewpoint":"v1","window":"RUN"},{"body":"pair","expected":{"domain_here":false},"frame_pin":"7b089a6b51876cad1150e37a0843c0eb7ab7726bda681c717d635caa4048c311","id":"R06-v1-RUN~pair","invariants":[],"line":"L1","literals":["domain_here"],"phase":32,"questions":["domain_here"],"read":6,"request_pin":"f632beb0049797fb55646f6997050c5130b0c8428ec8890f58d6bd5221eea208","same_as":null,"twin_of":"R05-v1-RUN~pair","viewpoint":"v1","window":"RUN"},{"body":"first","expected":{"blanks_inner_after":"0","boundary_kind":"ends","domain_here":false},"frame_pin":"db9e77929d56d88d486bfc5527b5d039133e39971c5f13f15ed1cc6196179cd4","id":"R06-v1-SEAM~first","invariants":["blanks_inner_after","boundary_kind"],"line":"L1","literals":["domain_here"],"phase":32,"questions":["blanks_inner_after","boundary_kind","domain_here"],"read":6,"request_pin":"dbe66c3b00481fea159aab0f8630f64fe3dc74fbddbc431ec42d660383a7acaa","same_as":null,"twin_of":"R05-v1-SEAM~first","viewpoint":"v1","window":"SEAM"},{"body":"rule","expected":{"boundary_kind":"ends","domain_here":false},"frame_pin":"ac4daa1ce827335da7eae8d7a0895bd10ab33e784e042d81f944ec913e53cf79","id":"R06-v1-SEAM~rule","invariants":["boundary_kind"],"line":"L1","literals":["domain_here"],"phase":32,"questions":["boundary_kind","domain_here"],"read":6,"request_pin":"84440ef42cb538da2d2e73b30ae1b755b9e3a9b4e791b8976c947ce7bc8a0132","same_as":null,"twin_of":"R05-v1-SEAM~rule","viewpoint":"v1","window":"SEAM"},{"body":"pair","expected":{"domain_here":false},"frame_pin":"bae74bc6ae1f81a6cd0664b797970e8db7023358094248bddf0cba9246e5d535","id":"R06-v1-SEAM~pair","invariants":[],"line":"L1","literals":["domain_here"],"phase":32,"questions":["domain_here"],"read":6,"request_pin":"5bce30290a59d81c2ad7733bf192f44ec959077e4401f56bdd512a911e6a98b8","same_as":null,"twin_of":"R05-v1-SEAM~pair","viewpoint":"v1","window":"SEAM"},{"body":"first","expected":{"blanks_inner_fold1":"4","blanks_inner_group_1":"2","blanks_inner_group_2":"2","blanks_inner_group_3":"0","blanks_inner_group_4":"0","blanks_inner_group_5":"2","blanks_inner_group_6":"2","blanks_inner_group_7":"0","blanks_inner_group_8":"0","blanks_middle_fold1":"2","closed":true,"counts_inner_fold1":"0","counts_middle_fold1":"2","domain_gapped":true,"domain_group":"1","gapped_segments":"2","groups_in_row":"4"},"frame_pin":"bb4cf6dd35ea507f93f24a8c94f9522213dec6c5c0472b52aec1cc51335bd703","id":"R06-v2-FULL~first","invariants":["blanks_inner_fold1","blanks_inner_group_1","blanks_inner_group_2","blanks_inner_group_3","blanks_inner_group_4","blanks_inner_group_5","blanks_inner_group_6","blanks_inner_group_7","blanks_inner_group_8","blanks_middle_fold1","closed","counts_inner_fold1","counts_middle_fold1","gapped_segments","groups_in_row"],"line":"L1","literals":["domain_gapped","domain_group"],"phase":32,"questions":["blanks_inner_fold1","blanks_inner_group_1","blanks_inner_group_2","blanks_inner_group_3","blanks_inner_group_4","blanks_inner_group_5","blanks_inner_group_6","blanks_inner_group_7","blanks_inner_group_8","blanks_middle_fold1","closed","counts_inner_fold1","counts_middle_fold1","domain_gapped","domain_group","gapped_segments","groups_in_row"],"read":6,"request_pin":"5c844852fbe7d0fa3dee3376a1d80b67239d4f87d5c7a049ddab6f23cf506458","same_as":null,"twin_of":null,"viewpoint":"v2","window":"FULL"},{"body":"rule","expected":{"closed":true,"domain_gapped":true,"domain_group":"1","gapped_segments":"2","groups_in_row":"4"},"frame_pin":"11862fd2b9c3ae226584efe99b0079e496185fa5cdd8811e1317755324e090d7","id":"R06-v2-FULL~rule","invariants":["closed","gapped_segments","groups_in_row"],"line":"L1","literals":["domain_gapped","domain_group"],"phase":32,"questions":["closed","domain_gapped","domain_group","gapped_segments","groups_in_row"],"read":6,"request_pin":"601ccf5b1efaf56dffd91cf4634666c305c5d4eb1a7a005a060c7224f700f4a9","same_as":null,"twin_of":null,"viewpoint":"v2","window":"FULL"},{"body":"pair","expected":{"direction":{"plausible":["forward","back"]},"domain_group":"1","moved_groups":"4","returns_soon":true},"frame_pin":"3b6a9edacfa2a7f80955558881bc9da4da0ebd40f61d429c13cfff241fa78b6b","id":"R06-v2-FULL~pair","invariants":[],"line":"L1","literals":["direction","domain_group","moved_groups","returns_soon"],"phase":32,"questions":["direction","domain_group","moved_groups","returns_soon"],"read":6,"request_pin":"2e9e7273ac3e6ab02d69267e4ce2c30c8c98d7b2ec85729b01858c2a25b7397a","same_as":null,"twin_of":null,"viewpoint":"v2","window":"FULL"},{"body":"first","expected":{"blanks_inner_here":"4","blanks_middle_here":"2","counts_inner_here":"0","counts_middle_here":"2","domain_here":true},"frame_pin":"07f6bd1519c6a12196df87587954e15cef6a870a13f3bd2c833e47849e88b3e5","id":"R06-v2-FOLD~first","invariants":["blanks_inner_here","blanks_middle_here","counts_inner_here","counts_middle_here"],"line":"L1","literals":["domain_here"],"phase":32,"questions":["blanks_inner_here","blanks_middle_here","counts_inner_here","counts_middle_here","domain_here"],"read":6,"request_pin":"4209585e6f1fee8a2f753db53ed6eec2069ccdc822f5badf8abe3ece46d846fe","same_as":null,"twin_of":null,"viewpoint":"v2","window":"FOLD"},{"body":"rule","expected":{"blanks_inner_here":"4","blanks_middle_here":"2","domain_here":true},"frame_pin":"c07b2352e25e69c75d31697f8375be6f9c9d7ac87d33872a457a834ff310b041","id":"R06-v2-FOLD~rule","invariants":["blanks_inner_here","blanks_middle_here"],"line":"L1","literals":["domain_here"],"phase":32,"questions":["blanks_inner_here","blanks_middle_here","domain_here"],"read":6,"request_pin":"9754a9c74898ebf727254b68391c2017f373f33c551e9e2a27e9d7b6774c5591","same_as":null,"twin_of":null,"viewpoint":"v2","window":"FOLD"},{"body":"pair","expected":{"domain_here":true},"frame_pin":"a55e8d0c5bff7ae278703a5efaf744c79f88f756cc48d2761d44da9fcc0990b7","id":"R06-v2-FOLD~pair","invariants":[],"line":"L1","literals":["domain_here"],"phase":32,"questions":["domain_here"],"read":6,"request_pin":"253497e728433597d15f997f447f5c3c337fa272c185df64aaeb979da5519c44","same_as":null,"twin_of":null,"viewpoint":"v2","window":"FOLD"},{"body":"first","expected":{"blanks_inner_after":"1","boundary_kind":"begins","domain_here":true},"frame_pin":"da5ea9699dda633fcc5d6116e107ab24ef3c7949a43213c070abdd3c0a435ea2","id":"R06-v2-SEAM~first","invariants":["blanks_inner_after","boundary_kind"],"line":"L1","literals":["domain_here"],"phase":32,"questions":["blanks_inner_after","boundary_kind","domain_here"],"read":6,"request_pin":"01165380410c9d18e8e861675e6733655314c3e8b6008469acace2ce5f42264f","same_as":null,"twin_of":null,"viewpoint":"v2","window":"SEAM"},{"body":"rule","expected":{"boundary_kind":"begins","domain_here":true},"frame_pin":"bc1cc4c550dc5611c5c48ae3f675f4bcd100a004bcf5206cc4d6b782d29d6bea","id":"R06-v2-SEAM~rule","invariants":["boundary_kind"],"line":"L1","literals":["domain_here"],"phase":32,"questions":["boundary_kind","domain_here"],"read":6,"request_pin":"81f8c7daaa223b962928c9e39ef04def227938c4a840effba7d7e3cb53e32b88","same_as":null,"twin_of":null,"viewpoint":"v2","window":"SEAM"},{"body":"pair","expected":{"domain_here":true},"frame_pin":"818f8e481a954506ef39b17b156ea95b57d14c671c19e9fa956fefb8c531c943","id":"R06-v2-SEAM~pair","invariants":[],"line":"L1","literals":["domain_here"],"phase":32,"questions":["domain_here"],"read":6,"request_pin":"813dd4fe734271fffd19b00e051bb9992ef309b4200051f2f9394af5b0183e4d","same_as":null,"twin_of":null,"viewpoint":"v2","window":"SEAM"},{"body":"first","expected":{"blanks_inner_fold1":"4","blanks_inner_group_1":"0","blanks_inner_group_2":"0","blanks_inner_group_3":"2","blanks_inner_group_4":"2","blanks_inner_group_5":"0","blanks_inner_group_6":"0","blanks_inner_group_7":"2","blanks_inner_group_8":"2","blanks_middle_fold1":"2","closed":true,"counts_inner_fold1":"0","counts_middle_fold1":"2","domain_gapped":true,"domain_group":"7","gapped_segments":"2","groups_in_row":"4"},"frame_pin":"0fd912cc3f902fd54aa58be5f5184e03fa1a50b4c76e6d2bf4a42f009ec9789b","id":"R06-v3-FULL~first","invariants":["blanks_inner_fold1","blanks_inner_group_1","blanks_inner_group_2","blanks_inner_group_3","blanks_inner_group_4","blanks_inner_group_5","blanks_inner_group_6","blanks_inner_group_7","blanks_inner_group_8","blanks_middle_fold1","closed","counts_inner_fold1","counts_middle_fold1","gapped_segments","groups_in_row"],"line":"L1","literals":["domain_gapped","domain_group"],"phase":32,"questions":["blanks_inner_fold1","blanks_inner_group_1","blanks_inner_group_2","blanks_inner_group_3","blanks_inner_group_4","blanks_inner_group_5","blanks_inner_group_6","blanks_inner_group_7","blanks_inner_group_8","blanks_middle_fold1","closed","counts_inner_fold1","counts_middle_fold1","domain_gapped","domain_group","gapped_segments","groups_in_row"],"read":6,"request_pin":"9eaa5ee623d5495a17d592ac2b00c406f766daeba4c34622308091f7ae7d6cd4","same_as":null,"twin_of":null,"viewpoint":"v3","window":"FULL"},{"body":"rule","expected":{"closed":true,"domain_gapped":true,"domain_group":"7","gapped_segments":"2","groups_in_row":"4"},"frame_pin":"b0dda1bc7957e6d542d8509454825c229ce659f07fec6aad1be44fb4843e5d47","id":"R06-v3-FULL~rule","invariants":["closed","gapped_segments","groups_in_row"],"line":"L1","literals":["domain_gapped","domain_group"],"phase":32,"questions":["closed","domain_gapped","domain_group","gapped_segments","groups_in_row"],"read":6,"request_pin":"80024e73b0cebfa558ed4f3117bc29fd2f0702a02335331b46196760cc970322","same_as":null,"twin_of":null,"viewpoint":"v3","window":"FULL"},{"body":"pair","expected":{"direction":{"plausible":["forward","back"]},"domain_group":"7","moved_groups":"4","returns_soon":true},"frame_pin":"48e6f241469978737c3e317e8dbfea10e5102fa2b7a22c209ea94cc4e56a0b89","id":"R06-v3-FULL~pair","invariants":[],"line":"L1","literals":["direction","domain_group","moved_groups","returns_soon"],"phase":32,"questions":["direction","domain_group","moved_groups","returns_soon"],"read":6,"request_pin":"1f115aeffc963845eb58a932c26a8efbd19adaece8b03d871ef2d0b4d2282129","same_as":null,"twin_of":null,"viewpoint":"v3","window":"FULL"},{"body":"first","expected":{"blanks_inner_here":"0","blanks_middle_here":"0","domain_here":false},"frame_pin":"dac76f1930012ba6992541e3c438ae2a1d442de7ece0cf9d2c4fb2211bea6828","id":"R06-v3-RUN~first","invariants":["blanks_inner_here","blanks_middle_here"],"line":"L1","literals":["domain_here"],"phase":32,"questions":["blanks_inner_here","blanks_middle_here","domain_here"],"read":6,"request_pin":"6ec1f73ce4db5f9959a96f646cda0b3a4c2746af298aa14387b74902bc45a0b9","same_as":"R06-v1-RUN~first","twin_of":"R05-v1-RUN~first","viewpoint":"v3","window":"RUN"},{"body":"rule","expected":{"blanks_middle_here":"0","domain_here":false},"frame_pin":"9275c7573ba35aab964c75698d0b3697cb04a20f1c488fe60554ac804676edf3","id":"R06-v3-RUN~rule","invariants":["blanks_middle_here"],"line":"L1","literals":["domain_here"],"phase":32,"questions":["blanks_middle_here","domain_here"],"read":6,"request_pin":"0f0dc265911d2985dfb09430f91ad0d25922c27d54f75d3301614f342fd7b180","same_as":"R06-v1-RUN~rule","twin_of":"R05-v1-RUN~rule","viewpoint":"v3","window":"RUN"},{"body":"pair","expected":{"domain_here":false},"frame_pin":"7b089a6b51876cad1150e37a0843c0eb7ab7726bda681c717d635caa4048c311","id":"R06-v3-RUN~pair","invariants":[],"line":"L1","literals":["domain_here"],"phase":32,"questions":["domain_here"],"read":6,"request_pin":"f632beb0049797fb55646f6997050c5130b0c8428ec8890f58d6bd5221eea208","same_as":"R06-v1-RUN~pair","twin_of":"R05-v1-RUN~pair","viewpoint":"v3","window":"RUN"},{"body":"first","expected":{"blanks_inner_after":"0","boundary_kind":"ends","domain_here":false},"frame_pin":"91adca5531ad1700b81f863835ec49606ccfeea81b60028053c455738cf682b2","id":"R06-v3-SEAM~first","invariants":["blanks_inner_after","boundary_kind"],"line":"L1","literals":["domain_here"],"phase":32,"questions":["blanks_inner_after","boundary_kind","domain_here"],"read":6,"request_pin":"67c44e1cce930b2df58528462095c46db72181d48fb4c0034dd41efb3bda7539","same_as":null,"twin_of":"R05-v3-SEAM~first","viewpoint":"v3","window":"SEAM"},{"body":"rule","expected":{"boundary_kind":"ends","domain_here":false},"frame_pin":"d94f590d0af390567aa94b90f41d0467b1046a22a55d0898de2051b5f9ac9367","id":"R06-v3-SEAM~rule","invariants":["boundary_kind"],"line":"L1","literals":["domain_here"],"phase":32,"questions":["boundary_kind","domain_here"],"read":6,"request_pin":"407342c66487442bd301d395f26964d656943f8b7933b5b4cf75dc3b8bf2846b","same_as":null,"twin_of":"R05-v3-SEAM~rule","viewpoint":"v3","window":"SEAM"},{"body":"pair","expected":{"domain_here":false},"frame_pin":"7e3b8866f248413bf2c538464d8a10d8d658c0a3a7fb9c2398008c744f2fe05c","id":"R06-v3-SEAM~pair","invariants":[],"line":"L1","literals":["domain_here"],"phase":32,"questions":["domain_here"],"read":6,"request_pin":"71c56a2f74a5f6e602dd9d639f670774b04cec49fb6fa7f0b0075d252c14a9cd","same_as":null,"twin_of":"R05-v3-SEAM~pair","viewpoint":"v3","window":"SEAM"},{"body":"first","expected":{"blanks_inner_fold1":"4","blanks_inner_group_1":"2","blanks_inner_group_2":"2","blanks_inner_group_3":"0","blanks_inner_group_4":"0","blanks_inner_group_5":"2","blanks_inner_group_6":"2","blanks_inner_group_7":"0","blanks_inner_group_8":"0","blanks_middle_fold1":"2","closed":true,"counts_inner_fold1":"0","counts_middle_fold1":"2","domain_gapped":true,"domain_group":"1","gapped_segments":"2","groups_in_row":"4"},"frame_pin":"937e4e3afe8de8ec64b28d863f539e90f59207f62147ac18ef85149cf2c523bc","id":"R07-v0-FULL~first","invariants":["blanks_inner_fold1","blanks_inner_group_1","blanks_inner_group_2","blanks_inner_group_3","blanks_inner_group_4","blanks_inner_group_5","blanks_inner_group_6","blanks_inner_group_7","blanks_inner_group_8","blanks_middle_fold1","closed","counts_inner_fold1","counts_middle_fold1","gapped_segments","groups_in_row"],"line":"L1","literals":["domain_gapped","domain_group"],"phase":0,"questions":["blanks_inner_fold1","blanks_inner_group_1","blanks_inner_group_2","blanks_inner_group_3","blanks_inner_group_4","blanks_inner_group_5","blanks_inner_group_6","blanks_inner_group_7","blanks_inner_group_8","blanks_middle_fold1","closed","counts_inner_fold1","counts_middle_fold1","domain_gapped","domain_group","gapped_segments","groups_in_row"],"read":7,"request_pin":"04d5d409f665d0dc1170eabc2e70d4672dc1730c439b568835d0ece158708e64","same_as":null,"twin_of":null,"viewpoint":"v0","window":"FULL"},{"body":"rule","expected":{"closed":true,"domain_gapped":true,"domain_group":"1","gapped_segments":"2","groups_in_row":"4"},"frame_pin":"89e9ae11222fed28c43ab377f0aa0da7795e2c1a29a77f00d9534d1f8ed75913","id":"R07-v0-FULL~rule","invariants":["closed","gapped_segments","groups_in_row"],"line":"L1","literals":["domain_gapped","domain_group"],"phase":0,"questions":["closed","domain_gapped","domain_group","gapped_segments","groups_in_row"],"read":7,"request_pin":"20efdaac98330b4ab05f8c79d76b92bc3a9b5bb7a9f2d969920de65260c9936d","same_as":null,"twin_of":null,"viewpoint":"v0","window":"FULL"},{"body":"pair","expected":{"direction":{"plausible":["forward","back"]},"domain_group":"1","moved_groups":"4","returns_soon":true},"frame_pin":"934e4ff029fa927ef4b085a92c3f6b57af7287ba04245cc0e9e3623bcf444bc3","id":"R07-v0-FULL~pair","invariants":[],"line":"L1","literals":["direction","domain_group","moved_groups","returns_soon"],"phase":0,"questions":["direction","domain_group","moved_groups","returns_soon"],"read":7,"request_pin":"f3e0c89264a0369123e2edb2519a3e813731a2b12929b034bb436edd1b37ffdb","same_as":null,"twin_of":null,"viewpoint":"v0","window":"FULL"},{"body":"first","expected":{"blanks_inner_here":"4","blanks_middle_here":"2","counts_inner_here":"0","counts_middle_here":"2","domain_here":true},"frame_pin":"0c0efb3b7a32e86e922d180cb347f68c5bfefa3f0cbd95044a84cc6c74f8d58f","id":"R07-v0-FOLD~first","invariants":["blanks_inner_here","blanks_middle_here","counts_inner_here","counts_middle_here"],"line":"L1","literals":["domain_here"],"phase":0,"questions":["blanks_inner_here","blanks_middle_here","counts_inner_here","counts_middle_here","domain_here"],"read":7,"request_pin":"3d364e32abfbaa50998d251cba3416856ff1309ab1ef10a17efe9c53807363de","same_as":null,"twin_of":null,"viewpoint":"v0","window":"FOLD"},{"body":"rule","expected":{"blanks_inner_here":"4","blanks_middle_here":"2","domain_here":true},"frame_pin":"444d2c61db3875fee77858f9a054e89ac9ea7fa0665930dfc77944479bcc4c73","id":"R07-v0-FOLD~rule","invariants":["blanks_inner_here","blanks_middle_here"],"line":"L1","literals":["domain_here"],"phase":0,"questions":["blanks_inner_here","blanks_middle_here","domain_here"],"read":7,"request_pin":"f6881dfd0e10edc5415b03ff757650fbf25e42b7a030c17c58b36a5e4c163b9f","same_as":null,"twin_of":null,"viewpoint":"v0","window":"FOLD"},{"body":"pair","expected":{"domain_here":true},"frame_pin":"b5f9b0af88f88433c35232eb5bbf08a1835a775952af25eda4cbf543402cf48c","id":"R07-v0-FOLD~pair","invariants":[],"line":"L1","literals":["domain_here"],"phase":0,"questions":["domain_here"],"read":7,"request_pin":"883f13cae746ba42f3cd2da189819693bbf6e2a77d46c26de1b4b7924c73c9d8","same_as":null,"twin_of":null,"viewpoint":"v0","window":"FOLD"},{"body":"first","expected":{"blanks_inner_after":"1","boundary_kind":"begins","domain_here":true},"frame_pin":"1d4d12b1332a386df52985bf29de5c12549c28956e1325f0a3d051aebcc5c87c","id":"R07-v0-SEAM~first","invariants":["blanks_inner_after","boundary_kind"],"line":"L1","literals":["domain_here"],"phase":0,"questions":["blanks_inner_after","boundary_kind","domain_here"],"read":7,"request_pin":"c71f691f349d54bcd3584515de60736f82b1ea24df1340e8e0a8ef813fdbb8ac","same_as":null,"twin_of":null,"viewpoint":"v0","window":"SEAM"},{"body":"rule","expected":{"boundary_kind":"begins","domain_here":true},"frame_pin":"2868032eb23ce23895abfec796984edf065d61b988b0694a24a8e052d281d930","id":"R07-v0-SEAM~rule","invariants":["boundary_kind"],"line":"L1","literals":["domain_here"],"phase":0,"questions":["boundary_kind","domain_here"],"read":7,"request_pin":"957bc2f22b6afa7f4305344fe6391c0da870d3d11ca36e29a98bf507756bfd0d","same_as":null,"twin_of":null,"viewpoint":"v0","window":"SEAM"},{"body":"pair","expected":{"domain_here":true},"frame_pin":"6dbc343526c8eb508dd8af10642fcac9e88ae7593706badcf60af0efd82f814c","id":"R07-v0-SEAM~pair","invariants":[],"line":"L1","literals":["domain_here"],"phase":0,"questions":["domain_here"],"read":7,"request_pin":"c33138fd17f7da3520ebad07d822ee56127f55e0c337fbc9811599172b89eed3","same_as":null,"twin_of":null,"viewpoint":"v0","window":"SEAM"},{"body":"first","expected":{"blanks_inner_fold1":"4","blanks_inner_group_1":"0","blanks_inner_group_2":"0","blanks_inner_group_3":"2","blanks_inner_group_4":"2","blanks_inner_group_5":"0","blanks_inner_group_6":"0","blanks_inner_group_7":"2","blanks_inner_group_8":"2","blanks_middle_fold1":"2","closed":true,"counts_inner_fold1":"0","counts_middle_fold1":"2","domain_gapped":true,"domain_group":"7","gapped_segments":"2","groups_in_row":"4"},"frame_pin":"8ab5b50336cb8ceb2a3747a8171e109070a16d39ca0719556e6538dff19d0674","id":"R07-v1-FULL~first","invariants":["blanks_inner_fold1","blanks_inner_group_1","blanks_inner_group_2","blanks_inner_group_3","blanks_inner_group_4","blanks_inner_group_5","blanks_inner_group_6","blanks_inner_group_7","blanks_inner_group_8","blanks_middle_fold1","closed","counts_inner_fold1","counts_middle_fold1","gapped_segments","groups_in_row"],"line":"L1","literals":["domain_gapped","domain_group"],"phase":0,"questions":["blanks_inner_fold1","blanks_inner_group_1","blanks_inner_group_2","blanks_inner_group_3","blanks_inner_group_4","blanks_inner_group_5","blanks_inner_group_6","blanks_inner_group_7","blanks_inner_group_8","blanks_middle_fold1","closed","counts_inner_fold1","counts_middle_fold1","domain_gapped","domain_group","gapped_segments","groups_in_row"],"read":7,"request_pin":"6e21662dee117f751f051c3d0d0b266a042c0850083e52efa63a02dd57bcc5a6","same_as":null,"twin_of":null,"viewpoint":"v1","window":"FULL"},{"body":"rule","expected":{"closed":true,"domain_gapped":true,"domain_group":"7","gapped_segments":"2","groups_in_row":"4"},"frame_pin":"b5d47efc14556c03b1ed4f0d3dc1c40b7734b60429d4c2be4b85859788003e77","id":"R07-v1-FULL~rule","invariants":["closed","gapped_segments","groups_in_row"],"line":"L1","literals":["domain_gapped","domain_group"],"phase":0,"questions":["closed","domain_gapped","domain_group","gapped_segments","groups_in_row"],"read":7,"request_pin":"efbbc55f5987b05974706ea0aa2d25fb3d48f9eca7c741bce31a2529b34a245a","same_as":null,"twin_of":null,"viewpoint":"v1","window":"FULL"},{"body":"pair","expected":{"direction":{"plausible":["forward","back"]},"domain_group":"7","moved_groups":"4","returns_soon":true},"frame_pin":"47fc47da3aff93529e8eff0ac6f137ee106f42ca38dd777ff401cc01a85a02e5","id":"R07-v1-FULL~pair","invariants":[],"line":"L1","literals":["direction","domain_group","moved_groups","returns_soon"],"phase":0,"questions":["direction","domain_group","moved_groups","returns_soon"],"read":7,"request_pin":"a0d06978cf17b5154bf9247df456331d4c825e483a14a50246e98b89c5209e18","same_as":null,"twin_of":null,"viewpoint":"v1","window":"FULL"},{"body":"first","expected":{"blanks_inner_here":"0","blanks_middle_here":"0","domain_here":false},"frame_pin":"dac76f1930012ba6992541e3c438ae2a1d442de7ece0cf9d2c4fb2211bea6828","id":"R07-v1-RUN~first","invariants":["blanks_inner_here","blanks_middle_here"],"line":"L1","literals":["domain_here"],"phase":0,"questions":["blanks_inner_here","blanks_middle_here","domain_here"],"read":7,"request_pin":"6ec1f73ce4db5f9959a96f646cda0b3a4c2746af298aa14387b74902bc45a0b9","same_as":null,"twin_of":null,"viewpoint":"v1","window":"RUN"},{"body":"rule","expected":{"blanks_middle_here":"0","domain_here":false},"frame_pin":"9275c7573ba35aab964c75698d0b3697cb04a20f1c488fe60554ac804676edf3","id":"R07-v1-RUN~rule","invariants":["blanks_middle_here"],"line":"L1","literals":["domain_here"],"phase":0,"questions":["blanks_middle_here","domain_here"],"read":7,"request_pin":"0f0dc265911d2985dfb09430f91ad0d25922c27d54f75d3301614f342fd7b180","same_as":null,"twin_of":null,"viewpoint":"v1","window":"RUN"},{"body":"pair","expected":{"domain_here":false},"frame_pin":"7b089a6b51876cad1150e37a0843c0eb7ab7726bda681c717d635caa4048c311","id":"R07-v1-RUN~pair","invariants":[],"line":"L1","literals":["domain_here"],"phase":0,"questions":["domain_here"],"read":7,"request_pin":"f632beb0049797fb55646f6997050c5130b0c8428ec8890f58d6bd5221eea208","same_as":null,"twin_of":null,"viewpoint":"v1","window":"RUN"},{"body":"first","expected":{"blanks_inner_after":"0","boundary_kind":"ends","domain_here":false},"frame_pin":"db9e77929d56d88d486bfc5527b5d039133e39971c5f13f15ed1cc6196179cd4","id":"R07-v1-SEAM~first","invariants":["blanks_inner_after","boundary_kind"],"line":"L1","literals":["domain_here"],"phase":0,"questions":["blanks_inner_after","boundary_kind","domain_here"],"read":7,"request_pin":"dbe66c3b00481fea159aab0f8630f64fe3dc74fbddbc431ec42d660383a7acaa","same_as":null,"twin_of":null,"viewpoint":"v1","window":"SEAM"},{"body":"rule","expected":{"boundary_kind":"ends","domain_here":false},"frame_pin":"ac4daa1ce827335da7eae8d7a0895bd10ab33e784e042d81f944ec913e53cf79","id":"R07-v1-SEAM~rule","invariants":["boundary_kind"],"line":"L1","literals":["domain_here"],"phase":0,"questions":["boundary_kind","domain_here"],"read":7,"request_pin":"84440ef42cb538da2d2e73b30ae1b755b9e3a9b4e791b8976c947ce7bc8a0132","same_as":null,"twin_of":null,"viewpoint":"v1","window":"SEAM"},{"body":"pair","expected":{"domain_here":false},"frame_pin":"bae74bc6ae1f81a6cd0664b797970e8db7023358094248bddf0cba9246e5d535","id":"R07-v1-SEAM~pair","invariants":[],"line":"L1","literals":["domain_here"],"phase":0,"questions":["domain_here"],"read":7,"request_pin":"5bce30290a59d81c2ad7733bf192f44ec959077e4401f56bdd512a911e6a98b8","same_as":null,"twin_of":null,"viewpoint":"v1","window":"SEAM"},{"body":"first","expected":{"blanks_inner_fold1":"4","blanks_inner_group_1":"2","blanks_inner_group_2":"2","blanks_inner_group_3":"0","blanks_inner_group_4":"0","blanks_inner_group_5":"2","blanks_inner_group_6":"2","blanks_inner_group_7":"0","blanks_inner_group_8":"0","blanks_middle_fold1":"2","closed":true,"counts_inner_fold1":"0","counts_middle_fold1":"2","domain_gapped":true,"domain_group":"5","gapped_segments":"2","groups_in_row":"4"},"frame_pin":"e1a3ece850b4676706d812a9415609b86fc8f73b7f7a53895530aa9417003dc4","id":"R07-v2-FULL~first","invariants":["blanks_inner_fold1","blanks_inner_group_1","blanks_inner_group_2","blanks_inner_group_3","blanks_inner_group_4","blanks_inner_group_5","blanks_inner_group_6","blanks_inner_group_7","blanks_inner_group_8","blanks_middle_fold1","closed","counts_inner_fold1","counts_middle_fold1","gapped_segments","groups_in_row"],"line":"L1","literals":["domain_gapped","domain_group"],"phase":0,"questions":["blanks_inner_fold1","blanks_inner_group_1","blanks_inner_group_2","blanks_inner_group_3","blanks_inner_group_4","blanks_inner_group_5","blanks_inner_group_6","blanks_inner_group_7","blanks_inner_group_8","blanks_middle_fold1","closed","counts_inner_fold1","counts_middle_fold1","domain_gapped","domain_group","gapped_segments","groups_in_row"],"read":7,"request_pin":"1899141b949212e356c0e030b2f954846a9bf12953c911c02af67881cde62c9b","same_as":null,"twin_of":null,"viewpoint":"v2","window":"FULL"},{"body":"rule","expected":{"closed":true,"domain_gapped":true,"domain_group":"5","gapped_segments":"2","groups_in_row":"4"},"frame_pin":"e301cdf9fa15d0913cb6acf2621c2196fc81207758386735860d031bbf414115","id":"R07-v2-FULL~rule","invariants":["closed","gapped_segments","groups_in_row"],"line":"L1","literals":["domain_gapped","domain_group"],"phase":0,"questions":["closed","domain_gapped","domain_group","gapped_segments","groups_in_row"],"read":7,"request_pin":"37193fbb4176e3f15859649bb160e83b4777dfa216624af29a905f7ee1943f51","same_as":null,"twin_of":null,"viewpoint":"v2","window":"FULL"},{"body":"pair","expected":{"direction":{"plausible":["forward","back"]},"domain_group":"5","moved_groups":"4","returns_soon":true},"frame_pin":"cfb730e077a2f694d83c2ac89ca0d45c440f15354108bdce43fe897bc75b44e6","id":"R07-v2-FULL~pair","invariants":[],"line":"L1","literals":["direction","domain_group","moved_groups","returns_soon"],"phase":0,"questions":["direction","domain_group","moved_groups","returns_soon"],"read":7,"request_pin":"42d380fc0aea6c21c93f940acf5adc5b7cbafcb2c3fcf246eaf4383007443fee","same_as":null,"twin_of":null,"viewpoint":"v2","window":"FULL"},{"body":"first","expected":{"blanks_inner_here":"4","blanks_middle_here":"2","counts_inner_here":"0","counts_middle_here":"2","domain_here":false},"frame_pin":"a37eb87ed20c47ab2be00c08f6e30470c0f3aac2ba3e6f530a881bb734b3a8f9","id":"R07-v2-FOLD~first","invariants":["blanks_inner_here","blanks_middle_here","counts_inner_here","counts_middle_here"],"line":"L1","literals":["domain_here"],"phase":0,"questions":["blanks_inner_here","blanks_middle_here","counts_inner_here","counts_middle_here","domain_here"],"read":7,"request_pin":"6093a94da63b1a874911165e893b99844da20b2abfee951333c5facd04e5c2d7","same_as":null,"twin_of":null,"viewpoint":"v2","window":"FOLD"},{"body":"rule","expected":{"blanks_inner_here":"4","blanks_middle_here":"2","domain_here":false},"frame_pin":"de685ebdec54593c419b5b3920a10e45ee31d1ebf18a199222e2ab549803c339","id":"R07-v2-FOLD~rule","invariants":["blanks_inner_here","blanks_middle_here"],"line":"L1","literals":["domain_here"],"phase":0,"questions":["blanks_inner_here","blanks_middle_here","domain_here"],"read":7,"request_pin":"1be76b4cfb19c6752829f0ee744fa2fdc4a7eea2089e72ae583db8599aad2cd6","same_as":null,"twin_of":null,"viewpoint":"v2","window":"FOLD"},{"body":"pair","expected":{"domain_here":false},"frame_pin":"b8be565e06318dbff682418ac76697814d85a492349ac420e8ecccb9198f15ce","id":"R07-v2-FOLD~pair","invariants":[],"line":"L1","literals":["domain_here"],"phase":0,"questions":["domain_here"],"read":7,"request_pin":"fa7ff554a9da2da6f8cafd130c3f3bfb405253e79729fdf8658856709354cad0","same_as":null,"twin_of":null,"viewpoint":"v2","window":"FOLD"},{"body":"first","expected":{"blanks_inner_after":"1","boundary_kind":"begins","domain_here":false},"frame_pin":"70ad55fdc76dfa75d0acb273991784a7418196e5433931ac4e723fe51f70dac5","id":"R07-v2-SEAM~first","invariants":["blanks_inner_after","boundary_kind"],"line":"L1","literals":["domain_here"],"phase":0,"questions":["blanks_inner_after","boundary_kind","domain_here"],"read":7,"request_pin":"1105a6f66208a68ab7207f790e728bdf06cfe92a9c0d50d318bbb0d64a158111","same_as":null,"twin_of":null,"viewpoint":"v2","window":"SEAM"},{"body":"rule","expected":{"boundary_kind":"begins","domain_here":false},"frame_pin":"b5bc755ebd027eadc58844624f25b8c558e066c40d062e96ca277d05da3b3f60","id":"R07-v2-SEAM~rule","invariants":["boundary_kind"],"line":"L1","literals":["domain_here"],"phase":0,"questions":["boundary_kind","domain_here"],"read":7,"request_pin":"a7ea6d31f788d05c173b1e24b09dc5660515b5b48a5e751672203788d59272fe","same_as":null,"twin_of":null,"viewpoint":"v2","window":"SEAM"},{"body":"pair","expected":{"domain_here":false},"frame_pin":"e8dc1c519342356ab5bd76fa44d3d736f77a01aadc67ee51f1d0551957e6d227","id":"R07-v2-SEAM~pair","invariants":[],"line":"L1","literals":["domain_here"],"phase":0,"questions":["domain_here"],"read":7,"request_pin":"720da8c049de357a24e17661aeaeef382b62757c2c54891c337277ced349425a","same_as":null,"twin_of":null,"viewpoint":"v2","window":"SEAM"},{"body":"first","expected":{"blanks_inner_fold1":"4","blanks_inner_group_1":"0","blanks_inner_group_2":"0","blanks_inner_group_3":"2","blanks_inner_group_4":"2","blanks_inner_group_5":"0","blanks_inner_group_6":"0","blanks_inner_group_7":"2","blanks_inner_group_8":"2","blanks_middle_fold1":"2","closed":true,"counts_inner_fold1":"0","counts_middle_fold1":"2","domain_gapped":true,"domain_group":"3","gapped_segments":"2","groups_in_row":"4"},"frame_pin":"d785db5fb505804429cedaba2a0dfc7fe73d99e649ddc18ddc137522011c3fab","id":"R07-v3-FULL~first","invariants":["blanks_inner_fold1","blanks_inner_group_1","blanks_inner_group_2","blanks_inner_group_3","blanks_inner_group_4","blanks_inner_group_5","blanks_inner_group_6","blanks_inner_group_7","blanks_inner_group_8","blanks_middle_fold1","closed","counts_inner_fold1","counts_middle_fold1","gapped_segments","groups_in_row"],"line":"L1","literals":["domain_gapped","domain_group"],"phase":0,"questions":["blanks_inner_fold1","blanks_inner_group_1","blanks_inner_group_2","blanks_inner_group_3","blanks_inner_group_4","blanks_inner_group_5","blanks_inner_group_6","blanks_inner_group_7","blanks_inner_group_8","blanks_middle_fold1","closed","counts_inner_fold1","counts_middle_fold1","domain_gapped","domain_group","gapped_segments","groups_in_row"],"read":7,"request_pin":"29c1e07d6de204a22bd9980038cae1134bb20aeb68dc6941de952899f9086ab2","same_as":null,"twin_of":null,"viewpoint":"v3","window":"FULL"},{"body":"rule","expected":{"closed":true,"domain_gapped":true,"domain_group":"3","gapped_segments":"2","groups_in_row":"4"},"frame_pin":"f77ffcf10d1e9e3ab4536d397feb59f911f69f8d41991ab3db17de97db072288","id":"R07-v3-FULL~rule","invariants":["closed","gapped_segments","groups_in_row"],"line":"L1","literals":["domain_gapped","domain_group"],"phase":0,"questions":["closed","domain_gapped","domain_group","gapped_segments","groups_in_row"],"read":7,"request_pin":"df13e86c9bfe754769c46c98e4eb7741200afc2b4b40732499d61b60f6cebd51","same_as":null,"twin_of":null,"viewpoint":"v3","window":"FULL"},{"body":"pair","expected":{"direction":{"plausible":["forward","back"]},"domain_group":"3","moved_groups":"4","returns_soon":true},"frame_pin":"e00eb6c5c71252f00e5e598a466fa25010db32916ff88407be48d250cd6ae17f","id":"R07-v3-FULL~pair","invariants":[],"line":"L1","literals":["direction","domain_group","moved_groups","returns_soon"],"phase":0,"questions":["direction","domain_group","moved_groups","returns_soon"],"read":7,"request_pin":"43db0b2daa3262604d03a88633785a20c771efb3fa7863e2d51b05845a7c4144","same_as":null,"twin_of":null,"viewpoint":"v3","window":"FULL"},{"body":"first","expected":{"blanks_inner_here":"0","blanks_middle_here":"0","domain_here":false},"frame_pin":"dac76f1930012ba6992541e3c438ae2a1d442de7ece0cf9d2c4fb2211bea6828","id":"R07-v3-RUN~first","invariants":["blanks_inner_here","blanks_middle_here"],"line":"L1","literals":["domain_here"],"phase":0,"questions":["blanks_inner_here","blanks_middle_here","domain_here"],"read":7,"request_pin":"6ec1f73ce4db5f9959a96f646cda0b3a4c2746af298aa14387b74902bc45a0b9","same_as":"R07-v1-RUN~first","twin_of":"R07-v1-RUN~first","viewpoint":"v3","window":"RUN"},{"body":"rule","expected":{"blanks_middle_here":"0","domain_here":false},"frame_pin":"9275c7573ba35aab964c75698d0b3697cb04a20f1c488fe60554ac804676edf3","id":"R07-v3-RUN~rule","invariants":["blanks_middle_here"],"line":"L1","literals":["domain_here"],"phase":0,"questions":["blanks_middle_here","domain_here"],"read":7,"request_pin":"0f0dc265911d2985dfb09430f91ad0d25922c27d54f75d3301614f342fd7b180","same_as":"R07-v1-RUN~rule","twin_of":"R07-v1-RUN~rule","viewpoint":"v3","window":"RUN"},{"body":"pair","expected":{"domain_here":false},"frame_pin":"7b089a6b51876cad1150e37a0843c0eb7ab7726bda681c717d635caa4048c311","id":"R07-v3-RUN~pair","invariants":[],"line":"L1","literals":["domain_here"],"phase":0,"questions":["domain_here"],"read":7,"request_pin":"f632beb0049797fb55646f6997050c5130b0c8428ec8890f58d6bd5221eea208","same_as":"R07-v1-RUN~pair","twin_of":"R07-v1-RUN~pair","viewpoint":"v3","window":"RUN"},{"body":"first","expected":{"blanks_inner_after":"0","boundary_kind":"ends","domain_here":false},"frame_pin":"91adca5531ad1700b81f863835ec49606ccfeea81b60028053c455738cf682b2","id":"R07-v3-SEAM~first","invariants":["blanks_inner_after","boundary_kind"],"line":"L1","literals":["domain_here"],"phase":0,"questions":["blanks_inner_after","boundary_kind","domain_here"],"read":7,"request_pin":"67c44e1cce930b2df58528462095c46db72181d48fb4c0034dd41efb3bda7539","same_as":null,"twin_of":null,"viewpoint":"v3","window":"SEAM"},{"body":"rule","expected":{"boundary_kind":"ends","domain_here":false},"frame_pin":"d94f590d0af390567aa94b90f41d0467b1046a22a55d0898de2051b5f9ac9367","id":"R07-v3-SEAM~rule","invariants":["boundary_kind"],"line":"L1","literals":["domain_here"],"phase":0,"questions":["boundary_kind","domain_here"],"read":7,"request_pin":"407342c66487442bd301d395f26964d656943f8b7933b5b4cf75dc3b8bf2846b","same_as":null,"twin_of":null,"viewpoint":"v3","window":"SEAM"},{"body":"pair","expected":{"domain_here":false},"frame_pin":"7e3b8866f248413bf2c538464d8a10d8d658c0a3a7fb9c2398008c744f2fe05c","id":"R07-v3-SEAM~pair","invariants":[],"line":"L1","literals":["domain_here"],"phase":0,"questions":["domain_here"],"read":7,"request_pin":"71c56a2f74a5f6e602dd9d639f670774b04cec49fb6fa7f0b0075d252c14a9cd","same_as":null,"twin_of":null,"viewpoint":"v3","window":"SEAM"},{"body":"first","expected":{"blanks_inner_fold1":"4","blanks_inner_group_1":"2","blanks_inner_group_2":"2","blanks_inner_group_3":"0","blanks_inner_group_4":"0","blanks_inner_group_5":"2","blanks_inner_group_6":"2","blanks_inner_group_7":"0","blanks_inner_group_8":"0","blanks_middle_fold1":"2","closed":true,"counts_inner_fold1":"0","counts_middle_fold1":"2","domain_gapped":true,"domain_group":"5","gapped_segments":"2","groups_in_row":"4"},"frame_pin":"585b6933341b5e1dbce3f88996dac376ffea71615939b10191dc350dceec970b","id":"R08-v0-FULL~first","invariants":["blanks_inner_fold1","blanks_inner_group_1","blanks_inner_group_2","blanks_inner_group_3","blanks_inner_group_4","blanks_inner_group_5","blanks_inner_group_6","blanks_inner_group_7","blanks_inner_group_8","blanks_middle_fold1","closed","counts_inner_fold1","counts_middle_fold1","gapped_segments","groups_in_row"],"line":"L1","literals":["domain_gapped","domain_group"],"phase":32,"questions":["blanks_inner_fold1","blanks_inner_group_1","blanks_inner_group_2","blanks_inner_group_3","blanks_inner_group_4","blanks_inner_group_5","blanks_inner_group_6","blanks_inner_group_7","blanks_inner_group_8","blanks_middle_fold1","closed","counts_inner_fold1","counts_middle_fold1","domain_gapped","domain_group","gapped_segments","groups_in_row"],"read":8,"request_pin":"56ca4878250c88b72d4cde83629e6751c462cd6957f0d6f37cd37200ce0400cb","same_as":null,"twin_of":null,"viewpoint":"v0","window":"FULL"},{"body":"rule","expected":{"closed":true,"domain_gapped":true,"domain_group":"5","gapped_segments":"2","groups_in_row":"4"},"frame_pin":"0354c6c05301c8ceb2718d3f54cc158fb8922f62aaf183946633f052aa819a1c","id":"R08-v0-FULL~rule","invariants":["closed","gapped_segments","groups_in_row"],"line":"L1","literals":["domain_gapped","domain_group"],"phase":32,"questions":["closed","domain_gapped","domain_group","gapped_segments","groups_in_row"],"read":8,"request_pin":"ed8aa88359288ca6e78dc7a034a87d5c4dffec45f249b573e36cb5d0532d3d7d","same_as":null,"twin_of":null,"viewpoint":"v0","window":"FULL"},{"body":"pair","expected":{"direction":{"plausible":["forward","back"]},"domain_group":"5","moved_groups":"4","returns_soon":true},"frame_pin":"793b23c1c40550b38bbf6deeb8c9218cba574c806036f2bc1812806b26f62e27","id":"R08-v0-FULL~pair","invariants":[],"line":"L1","literals":["direction","domain_group","moved_groups","returns_soon"],"phase":32,"questions":["direction","domain_group","moved_groups","returns_soon"],"read":8,"request_pin":"dd80493ff965a31ccf1dd2e00f6a796f6102b88be1d3e42796b287ec05f51bd6","same_as":null,"twin_of":null,"viewpoint":"v0","window":"FULL"},{"body":"first","expected":{"blanks_inner_here":"4","blanks_middle_here":"2","counts_inner_here":"0","counts_middle_here":"2","domain_here":false},"frame_pin":"0734d0f01441f74a001888047c8a9aca707f9566efcb8a5ddae436372e10478d","id":"R08-v0-FOLD~first","invariants":["blanks_inner_here","blanks_middle_here","counts_inner_here","counts_middle_here"],"line":"L1","literals":["domain_here"],"phase":32,"questions":["blanks_inner_here","blanks_middle_here","counts_inner_here","counts_middle_here","domain_here"],"read":8,"request_pin":"2538ab960dc81d518b8d18cc0474a3d591365cb8558b100a4dba6c505f03fc45","same_as":null,"twin_of":null,"viewpoint":"v0","window":"FOLD"},{"body":"rule","expected":{"blanks_inner_here":"4","blanks_middle_here":"2","domain_here":false},"frame_pin":"de85aa29e3a8bdc2390a8b5f4c7c9fa661dad8df20110fce9e2c3db2d34e2524","id":"R08-v0-FOLD~rule","invariants":["blanks_inner_here","blanks_middle_here"],"line":"L1","literals":["domain_here"],"phase":32,"questions":["blanks_inner_here","blanks_middle_here","domain_here"],"read":8,"request_pin":"aa7ec6301f9d51f9db970ffe4bb9a5cdd947a17446c6b4616bf7b7417c8148a2","same_as":null,"twin_of":null,"viewpoint":"v0","window":"FOLD"},{"body":"pair","expected":{"domain_here":false},"frame_pin":"fa704b5e6c50ac3287b9e94859b1585a768a6c634ba4e22d6a60ce1bbd387eb9","id":"R08-v0-FOLD~pair","invariants":[],"line":"L1","literals":["domain_here"],"phase":32,"questions":["domain_here"],"read":8,"request_pin":"097fd1539eef9b71ef3642ff9075d162c9075e655691ba08e63ed0dda6aaa4e8","same_as":null,"twin_of":null,"viewpoint":"v0","window":"FOLD"},{"body":"first","expected":{"blanks_inner_after":"1","boundary_kind":"begins","domain_here":false},"frame_pin":"406e5527a0b9e67e829411939f124db9bb6c730bee8ef4641e3f02502244a625","id":"R08-v0-SEAM~first","invariants":["blanks_inner_after","boundary_kind"],"line":"L1","literals":["domain_here"],"phase":32,"questions":["blanks_inner_after","boundary_kind","domain_here"],"read":8,"request_pin":"fa3c4a1ce49fef2d39f7eed81c06eb103bdf7b4789807d7a1a608bdf5aec3844","same_as":null,"twin_of":null,"viewpoint":"v0","window":"SEAM"},{"body":"rule","expected":{"boundary_kind":"begins","domain_here":false},"frame_pin":"d974e5d16b6b8e9abd77342bebfe5790828fae3ad26dd514c099bed58f6a0eb4","id":"R08-v0-SEAM~rule","invariants":["boundary_kind"],"line":"L1","literals":["domain_here"],"phase":32,"questions":["boundary_kind","domain_here"],"read":8,"request_pin":"96766b2bd69979dd4c94ac23a9948210b426c8f9d9688f3d9822a3bf679c54e3","same_as":null,"twin_of":null,"viewpoint":"v0","window":"SEAM"},{"body":"pair","expected":{"domain_here":false},"frame_pin":"6f95188e53a8b69f911b0d5fdd2c6c75cbd60579c995fd64f40c446951f3f133","id":"R08-v0-SEAM~pair","invariants":[],"line":"L1","literals":["domain_here"],"phase":32,"questions":["domain_here"],"read":8,"request_pin":"ed935d6f2d73cfdc7fabeb495b1ef708b5cf5c7a3317fd34040d484b6f05f3ff","same_as":null,"twin_of":null,"viewpoint":"v0","window":"SEAM"},{"body":"first","expected":{"blanks_inner_fold1":"4","blanks_inner_group_1":"0","blanks_inner_group_2":"0","blanks_inner_group_3":"2","blanks_inner_group_4":"2","blanks_inner_group_5":"0","blanks_inner_group_6":"0","blanks_inner_group_7":"2","blanks_inner_group_8":"2","blanks_middle_fold1":"2","closed":true,"counts_inner_fold1":"0","counts_middle_fold1":"2","domain_gapped":true,"domain_group":"3","gapped_segments":"2","groups_in_row":"4"},"frame_pin":"e7084b0db0a6655cd4d7fa7026da2da9264de96e104b6855d84534217a02cf19","id":"R08-v1-FULL~first","invariants":["blanks_inner_fold1","blanks_inner_group_1","blanks_inner_group_2","blanks_inner_group_3","blanks_inner_group_4","blanks_inner_group_5","blanks_inner_group_6","blanks_inner_group_7","blanks_inner_group_8","blanks_middle_fold1","closed","counts_inner_fold1","counts_middle_fold1","gapped_segments","groups_in_row"],"line":"L1","literals":["domain_gapped","domain_group"],"phase":32,"questions":["blanks_inner_fold1","blanks_inner_group_1","blanks_inner_group_2","blanks_inner_group_3","blanks_inner_group_4","blanks_inner_group_5","blanks_inner_group_6","blanks_inner_group_7","blanks_inner_group_8","blanks_middle_fold1","closed","counts_inner_fold1","counts_middle_fold1","domain_gapped","domain_group","gapped_segments","groups_in_row"],"read":8,"request_pin":"51027ba894e04735e3cad603db18d9be1a475e2ddcec6e11ff265bf7117db704","same_as":null,"twin_of":null,"viewpoint":"v1","window":"FULL"},{"body":"rule","expected":{"closed":true,"domain_gapped":true,"domain_group":"3","gapped_segments":"2","groups_in_row":"4"},"frame_pin":"dcdeedb1cbc5dcd8c9189f227c30866feb88d9768828bd9bb7efd0e40f40a9da","id":"R08-v1-FULL~rule","invariants":["closed","gapped_segments","groups_in_row"],"line":"L1","literals":["domain_gapped","domain_group"],"phase":32,"questions":["closed","domain_gapped","domain_group","gapped_segments","groups_in_row"],"read":8,"request_pin":"a1d90068c57a91c5c5b5394c498163590d5e0367916f70a7d347932074d02851","same_as":null,"twin_of":null,"viewpoint":"v1","window":"FULL"},{"body":"pair","expected":{"direction":{"plausible":["forward","back"]},"domain_group":"3","moved_groups":"4","returns_soon":true},"frame_pin":"9ac74b36bf61f28023361532d3789150d43b1f4c7e7ef15b3024980f0696a1c8","id":"R08-v1-FULL~pair","invariants":[],"line":"L1","literals":["direction","domain_group","moved_groups","returns_soon"],"phase":32,"questions":["direction","domain_group","moved_groups","returns_soon"],"read":8,"request_pin":"16b2966af6df7c855df358a7a51c38779318ab82cd4e04430ef05e21b648230f","same_as":null,"twin_of":null,"viewpoint":"v1","window":"FULL"},{"body":"first","expected":{"blanks_inner_here":"0","blanks_middle_here":"0","domain_here":false},"frame_pin":"dac76f1930012ba6992541e3c438ae2a1d442de7ece0cf9d2c4fb2211bea6828","id":"R08-v1-RUN~first","invariants":["blanks_inner_here","blanks_middle_here"],"line":"L1","literals":["domain_here"],"phase":32,"questions":["blanks_inner_here","blanks_middle_here","domain_here"],"read":8,"request_pin":"6ec1f73ce4db5f9959a96f646cda0b3a4c2746af298aa14387b74902bc45a0b9","same_as":null,"twin_of":"R07-v1-RUN~first","viewpoint":"v1","window":"RUN"},{"body":"rule","expected":{"blanks_middle_here":"0","domain_here":false},"frame_pin":"9275c7573ba35aab964c75698d0b3697cb04a20f1c488fe60554ac804676edf3","id":"R08-v1-RUN~rule","invariants":["blanks_middle_here"],"line":"L1","literals":["domain_here"],"phase":32,"questions":["blanks_middle_here","domain_here"],"read":8,"request_pin":"0f0dc265911d2985dfb09430f91ad0d25922c27d54f75d3301614f342fd7b180","same_as":null,"twin_of":"R07-v1-RUN~rule","viewpoint":"v1","window":"RUN"},{"body":"pair","expected":{"domain_here":false},"frame_pin":"7b089a6b51876cad1150e37a0843c0eb7ab7726bda681c717d635caa4048c311","id":"R08-v1-RUN~pair","invariants":[],"line":"L1","literals":["domain_here"],"phase":32,"questions":["domain_here"],"read":8,"request_pin":"f632beb0049797fb55646f6997050c5130b0c8428ec8890f58d6bd5221eea208","same_as":null,"twin_of":"R07-v1-RUN~pair","viewpoint":"v1","window":"RUN"},{"body":"first","expected":{"blanks_inner_after":"0","boundary_kind":"ends","domain_here":false},"frame_pin":"db9e77929d56d88d486bfc5527b5d039133e39971c5f13f15ed1cc6196179cd4","id":"R08-v1-SEAM~first","invariants":["blanks_inner_after","boundary_kind"],"line":"L1","literals":["domain_here"],"phase":32,"questions":["blanks_inner_after","boundary_kind","domain_here"],"read":8,"request_pin":"dbe66c3b00481fea159aab0f8630f64fe3dc74fbddbc431ec42d660383a7acaa","same_as":null,"twin_of":"R07-v1-SEAM~first","viewpoint":"v1","window":"SEAM"},{"body":"rule","expected":{"boundary_kind":"ends","domain_here":false},"frame_pin":"ac4daa1ce827335da7eae8d7a0895bd10ab33e784e042d81f944ec913e53cf79","id":"R08-v1-SEAM~rule","invariants":["boundary_kind"],"line":"L1","literals":["domain_here"],"phase":32,"questions":["boundary_kind","domain_here"],"read":8,"request_pin":"84440ef42cb538da2d2e73b30ae1b755b9e3a9b4e791b8976c947ce7bc8a0132","same_as":null,"twin_of":"R07-v1-SEAM~rule","viewpoint":"v1","window":"SEAM"},{"body":"pair","expected":{"domain_here":false},"frame_pin":"bae74bc6ae1f81a6cd0664b797970e8db7023358094248bddf0cba9246e5d535","id":"R08-v1-SEAM~pair","invariants":[],"line":"L1","literals":["domain_here"],"phase":32,"questions":["domain_here"],"read":8,"request_pin":"5bce30290a59d81c2ad7733bf192f44ec959077e4401f56bdd512a911e6a98b8","same_as":null,"twin_of":"R07-v1-SEAM~pair","viewpoint":"v1","window":"SEAM"},{"body":"first","expected":{"blanks_inner_fold1":"4","blanks_inner_group_1":"2","blanks_inner_group_2":"2","blanks_inner_group_3":"0","blanks_inner_group_4":"0","blanks_inner_group_5":"2","blanks_inner_group_6":"2","blanks_inner_group_7":"0","blanks_inner_group_8":"0","blanks_middle_fold1":"2","closed":true,"counts_inner_fold1":"0","counts_middle_fold1":"2","domain_gapped":true,"domain_group":"1","gapped_segments":"2","groups_in_row":"4"},"frame_pin":"bb4cf6dd35ea507f93f24a8c94f9522213dec6c5c0472b52aec1cc51335bd703","id":"R08-v2-FULL~first","invariants":["blanks_inner_fold1","blanks_inner_group_1","blanks_inner_group_2","blanks_inner_group_3","blanks_inner_group_4","blanks_inner_group_5","blanks_inner_group_6","blanks_inner_group_7","blanks_inner_group_8","blanks_middle_fold1","closed","counts_inner_fold1","counts_middle_fold1","gapped_segments","groups_in_row"],"line":"L1","literals":["domain_gapped","domain_group"],"phase":32,"questions":["blanks_inner_fold1","blanks_inner_group_1","blanks_inner_group_2","blanks_inner_group_3","blanks_inner_group_4","blanks_inner_group_5","blanks_inner_group_6","blanks_inner_group_7","blanks_inner_group_8","blanks_middle_fold1","closed","counts_inner_fold1","counts_middle_fold1","domain_gapped","domain_group","gapped_segments","groups_in_row"],"read":8,"request_pin":"5c844852fbe7d0fa3dee3376a1d80b67239d4f87d5c7a049ddab6f23cf506458","same_as":null,"twin_of":null,"viewpoint":"v2","window":"FULL"},{"body":"rule","expected":{"closed":true,"domain_gapped":true,"domain_group":"1","gapped_segments":"2","groups_in_row":"4"},"frame_pin":"11862fd2b9c3ae226584efe99b0079e496185fa5cdd8811e1317755324e090d7","id":"R08-v2-FULL~rule","invariants":["closed","gapped_segments","groups_in_row"],"line":"L1","literals":["domain_gapped","domain_group"],"phase":32,"questions":["closed","domain_gapped","domain_group","gapped_segments","groups_in_row"],"read":8,"request_pin":"601ccf5b1efaf56dffd91cf4634666c305c5d4eb1a7a005a060c7224f700f4a9","same_as":null,"twin_of":null,"viewpoint":"v2","window":"FULL"},{"body":"pair","expected":{"direction":{"plausible":["forward","back"]},"domain_group":"1","moved_groups":"4","returns_soon":true},"frame_pin":"3b6a9edacfa2a7f80955558881bc9da4da0ebd40f61d429c13cfff241fa78b6b","id":"R08-v2-FULL~pair","invariants":[],"line":"L1","literals":["direction","domain_group","moved_groups","returns_soon"],"phase":32,"questions":["direction","domain_group","moved_groups","returns_soon"],"read":8,"request_pin":"2e9e7273ac3e6ab02d69267e4ce2c30c8c98d7b2ec85729b01858c2a25b7397a","same_as":null,"twin_of":null,"viewpoint":"v2","window":"FULL"},{"body":"first","expected":{"blanks_inner_here":"4","blanks_middle_here":"2","counts_inner_here":"0","counts_middle_here":"2","domain_here":true},"frame_pin":"07f6bd1519c6a12196df87587954e15cef6a870a13f3bd2c833e47849e88b3e5","id":"R08-v2-FOLD~first","invariants":["blanks_inner_here","blanks_middle_here","counts_inner_here","counts_middle_here"],"line":"L1","literals":["domain_here"],"phase":32,"questions":["blanks_inner_here","blanks_middle_here","counts_inner_here","counts_middle_here","domain_here"],"read":8,"request_pin":"4209585e6f1fee8a2f753db53ed6eec2069ccdc822f5badf8abe3ece46d846fe","same_as":null,"twin_of":null,"viewpoint":"v2","window":"FOLD"},{"body":"rule","expected":{"blanks_inner_here":"4","blanks_middle_here":"2","domain_here":true},"frame_pin":"c07b2352e25e69c75d31697f8375be6f9c9d7ac87d33872a457a834ff310b041","id":"R08-v2-FOLD~rule","invariants":["blanks_inner_here","blanks_middle_here"],"line":"L1","literals":["domain_here"],"phase":32,"questions":["blanks_inner_here","blanks_middle_here","domain_here"],"read":8,"request_pin":"9754a9c74898ebf727254b68391c2017f373f33c551e9e2a27e9d7b6774c5591","same_as":null,"twin_of":null,"viewpoint":"v2","window":"FOLD"},{"body":"pair","expected":{"domain_here":true},"frame_pin":"a55e8d0c5bff7ae278703a5efaf744c79f88f756cc48d2761d44da9fcc0990b7","id":"R08-v2-FOLD~pair","invariants":[],"line":"L1","literals":["domain_here"],"phase":32,"questions":["domain_here"],"read":8,"request_pin":"253497e728433597d15f997f447f5c3c337fa272c185df64aaeb979da5519c44","same_as":null,"twin_of":null,"viewpoint":"v2","window":"FOLD"},{"body":"first","expected":{"blanks_inner_after":"1","boundary_kind":"begins","domain_here":true},"frame_pin":"da5ea9699dda633fcc5d6116e107ab24ef3c7949a43213c070abdd3c0a435ea2","id":"R08-v2-SEAM~first","invariants":["blanks_inner_after","boundary_kind"],"line":"L1","literals":["domain_here"],"phase":32,"questions":["blanks_inner_after","boundary_kind","domain_here"],"read":8,"request_pin":"01165380410c9d18e8e861675e6733655314c3e8b6008469acace2ce5f42264f","same_as":null,"twin_of":null,"viewpoint":"v2","window":"SEAM"},{"body":"rule","expected":{"boundary_kind":"begins","domain_here":true},"frame_pin":"bc1cc4c550dc5611c5c48ae3f675f4bcd100a004bcf5206cc4d6b782d29d6bea","id":"R08-v2-SEAM~rule","invariants":["boundary_kind"],"line":"L1","literals":["domain_here"],"phase":32,"questions":["boundary_kind","domain_here"],"read":8,"request_pin":"81f8c7daaa223b962928c9e39ef04def227938c4a840effba7d7e3cb53e32b88","same_as":null,"twin_of":null,"viewpoint":"v2","window":"SEAM"},{"body":"pair","expected":{"domain_here":true},"frame_pin":"818f8e481a954506ef39b17b156ea95b57d14c671c19e9fa956fefb8c531c943","id":"R08-v2-SEAM~pair","invariants":[],"line":"L1","literals":["domain_here"],"phase":32,"questions":["domain_here"],"read":8,"request_pin":"813dd4fe734271fffd19b00e051bb9992ef309b4200051f2f9394af5b0183e4d","same_as":null,"twin_of":null,"viewpoint":"v2","window":"SEAM"},{"body":"first","expected":{"blanks_inner_fold1":"4","blanks_inner_group_1":"0","blanks_inner_group_2":"0","blanks_inner_group_3":"2","blanks_inner_group_4":"2","blanks_inner_group_5":"0","blanks_inner_group_6":"0","blanks_inner_group_7":"2","blanks_inner_group_8":"2","blanks_middle_fold1":"2","closed":true,"counts_inner_fold1":"0","counts_middle_fold1":"2","domain_gapped":true,"domain_group":"7","gapped_segments":"2","groups_in_row":"4"},"frame_pin":"0fd912cc3f902fd54aa58be5f5184e03fa1a50b4c76e6d2bf4a42f009ec9789b","id":"R08-v3-FULL~first","invariants":["blanks_inner_fold1","blanks_inner_group_1","blanks_inner_group_2","blanks_inner_group_3","blanks_inner_group_4","blanks_inner_group_5","blanks_inner_group_6","blanks_inner_group_7","blanks_inner_group_8","blanks_middle_fold1","closed","counts_inner_fold1","counts_middle_fold1","gapped_segments","groups_in_row"],"line":"L1","literals":["domain_gapped","domain_group"],"phase":32,"questions":["blanks_inner_fold1","blanks_inner_group_1","blanks_inner_group_2","blanks_inner_group_3","blanks_inner_group_4","blanks_inner_group_5","blanks_inner_group_6","blanks_inner_group_7","blanks_inner_group_8","blanks_middle_fold1","closed","counts_inner_fold1","counts_middle_fold1","domain_gapped","domain_group","gapped_segments","groups_in_row"],"read":8,"request_pin":"9eaa5ee623d5495a17d592ac2b00c406f766daeba4c34622308091f7ae7d6cd4","same_as":null,"twin_of":null,"viewpoint":"v3","window":"FULL"},{"body":"rule","expected":{"closed":true,"domain_gapped":true,"domain_group":"7","gapped_segments":"2","groups_in_row":"4"},"frame_pin":"b0dda1bc7957e6d542d8509454825c229ce659f07fec6aad1be44fb4843e5d47","id":"R08-v3-FULL~rule","invariants":["closed","gapped_segments","groups_in_row"],"line":"L1","literals":["domain_gapped","domain_group"],"phase":32,"questions":["closed","domain_gapped","domain_group","gapped_segments","groups_in_row"],"read":8,"request_pin":"80024e73b0cebfa558ed4f3117bc29fd2f0702a02335331b46196760cc970322","same_as":null,"twin_of":null,"viewpoint":"v3","window":"FULL"},{"body":"pair","expected":{"direction":{"plausible":["forward","back"]},"domain_group":"7","moved_groups":"4","returns_soon":true},"frame_pin":"48e6f241469978737c3e317e8dbfea10e5102fa2b7a22c209ea94cc4e56a0b89","id":"R08-v3-FULL~pair","invariants":[],"line":"L1","literals":["direction","domain_group","moved_groups","returns_soon"],"phase":32,"questions":["direction","domain_group","moved_groups","returns_soon"],"read":8,"request_pin":"1f115aeffc963845eb58a932c26a8efbd19adaece8b03d871ef2d0b4d2282129","same_as":null,"twin_of":null,"viewpoint":"v3","window":"FULL"},{"body":"first","expected":{"blanks_inner_here":"0","blanks_middle_here":"0","domain_here":false},"frame_pin":"dac76f1930012ba6992541e3c438ae2a1d442de7ece0cf9d2c4fb2211bea6828","id":"R08-v3-RUN~first","invariants":["blanks_inner_here","blanks_middle_here"],"line":"L1","literals":["domain_here"],"phase":32,"questions":["blanks_inner_here","blanks_middle_here","domain_here"],"read":8,"request_pin":"6ec1f73ce4db5f9959a96f646cda0b3a4c2746af298aa14387b74902bc45a0b9","same_as":"R08-v1-RUN~first","twin_of":"R07-v1-RUN~first","viewpoint":"v3","window":"RUN"},{"body":"rule","expected":{"blanks_middle_here":"0","domain_here":false},"frame_pin":"9275c7573ba35aab964c75698d0b3697cb04a20f1c488fe60554ac804676edf3","id":"R08-v3-RUN~rule","invariants":["blanks_middle_here"],"line":"L1","literals":["domain_here"],"phase":32,"questions":["blanks_middle_here","domain_here"],"read":8,"request_pin":"0f0dc265911d2985dfb09430f91ad0d25922c27d54f75d3301614f342fd7b180","same_as":"R08-v1-RUN~rule","twin_of":"R07-v1-RUN~rule","viewpoint":"v3","window":"RUN"},{"body":"pair","expected":{"domain_here":false},"frame_pin":"7b089a6b51876cad1150e37a0843c0eb7ab7726bda681c717d635caa4048c311","id":"R08-v3-RUN~pair","invariants":[],"line":"L1","literals":["domain_here"],"phase":32,"questions":["domain_here"],"read":8,"request_pin":"f632beb0049797fb55646f6997050c5130b0c8428ec8890f58d6bd5221eea208","same_as":"R08-v1-RUN~pair","twin_of":"R07-v1-RUN~pair","viewpoint":"v3","window":"RUN"},{"body":"first","expected":{"blanks_inner_after":"0","boundary_kind":"ends","domain_here":false},"frame_pin":"91adca5531ad1700b81f863835ec49606ccfeea81b60028053c455738cf682b2","id":"R08-v3-SEAM~first","invariants":["blanks_inner_after","boundary_kind"],"line":"L1","literals":["domain_here"],"phase":32,"questions":["blanks_inner_after","boundary_kind","domain_here"],"read":8,"request_pin":"67c44e1cce930b2df58528462095c46db72181d48fb4c0034dd41efb3bda7539","same_as":null,"twin_of":"R07-v3-SEAM~first","viewpoint":"v3","window":"SEAM"},{"body":"rule","expected":{"boundary_kind":"ends","domain_here":false},"frame_pin":"d94f590d0af390567aa94b90f41d0467b1046a22a55d0898de2051b5f9ac9367","id":"R08-v3-SEAM~rule","invariants":["boundary_kind"],"line":"L1","literals":["domain_here"],"phase":32,"questions":["boundary_kind","domain_here"],"read":8,"request_pin":"407342c66487442bd301d395f26964d656943f8b7933b5b4cf75dc3b8bf2846b","same_as":null,"twin_of":"R07-v3-SEAM~rule","viewpoint":"v3","window":"SEAM"},{"body":"pair","expected":{"domain_here":false},"frame_pin":"7e3b8866f248413bf2c538464d8a10d8d658c0a3a7fb9c2398008c744f2fe05c","id":"R08-v3-SEAM~pair","invariants":[],"line":"L1","literals":["domain_here"],"phase":32,"questions":["domain_here"],"read":8,"request_pin":"71c56a2f74a5f6e602dd9d639f670774b04cec49fb6fa7f0b0075d252c14a9cd","same_as":null,"twin_of":"R07-v3-SEAM~pair","viewpoint":"v3","window":"SEAM"},{"body":"first","expected":{"blanks_inner_fold1":"4","blanks_inner_group_1":"2","blanks_inner_group_2":"2","blanks_inner_group_3":"0","blanks_inner_group_4":"0","blanks_inner_group_5":"2","blanks_inner_group_6":"2","blanks_inner_group_7":"0","blanks_inner_group_8":"0","blanks_middle_fold1":"2","closed":true,"counts_inner_fold1":"0","counts_middle_fold1":"2","domain_gapped":true,"domain_group":"1","gapped_segments":"2","groups_in_row":"4"},"frame_pin":"937e4e3afe8de8ec64b28d863f539e90f59207f62147ac18ef85149cf2c523bc","id":"R09-v0-FULL~first","invariants":["blanks_inner_fold1","blanks_inner_group_1","blanks_inner_group_2","blanks_inner_group_3","blanks_inner_group_4","blanks_inner_group_5","blanks_inner_group_6","blanks_inner_group_7","blanks_inner_group_8","blanks_middle_fold1","closed","counts_inner_fold1","counts_middle_fold1","gapped_segments","groups_in_row"],"line":"L1","literals":["domain_gapped","domain_group"],"phase":0,"questions":["blanks_inner_fold1","blanks_inner_group_1","blanks_inner_group_2","blanks_inner_group_3","blanks_inner_group_4","blanks_inner_group_5","blanks_inner_group_6","blanks_inner_group_7","blanks_inner_group_8","blanks_middle_fold1","closed","counts_inner_fold1","counts_middle_fold1","domain_gapped","domain_group","gapped_segments","groups_in_row"],"read":9,"request_pin":"04d5d409f665d0dc1170eabc2e70d4672dc1730c439b568835d0ece158708e64","same_as":null,"twin_of":null,"viewpoint":"v0","window":"FULL"},{"body":"rule","expected":{"closed":true,"domain_gapped":true,"domain_group":"1","gapped_segments":"2","groups_in_row":"4"},"frame_pin":"89e9ae11222fed28c43ab377f0aa0da7795e2c1a29a77f00d9534d1f8ed75913","id":"R09-v0-FULL~rule","invariants":["closed","gapped_segments","groups_in_row"],"line":"L1","literals":["domain_gapped","domain_group"],"phase":0,"questions":["closed","domain_gapped","domain_group","gapped_segments","groups_in_row"],"read":9,"request_pin":"20efdaac98330b4ab05f8c79d76b92bc3a9b5bb7a9f2d969920de65260c9936d","same_as":null,"twin_of":null,"viewpoint":"v0","window":"FULL"},{"body":"pair","expected":{"direction":{"plausible":["forward","back"]},"domain_group":"1","moved_groups":"4","returns_soon":true},"frame_pin":"934e4ff029fa927ef4b085a92c3f6b57af7287ba04245cc0e9e3623bcf444bc3","id":"R09-v0-FULL~pair","invariants":[],"line":"L1","literals":["direction","domain_group","moved_groups","returns_soon"],"phase":0,"questions":["direction","domain_group","moved_groups","returns_soon"],"read":9,"request_pin":"f3e0c89264a0369123e2edb2519a3e813731a2b12929b034bb436edd1b37ffdb","same_as":null,"twin_of":null,"viewpoint":"v0","window":"FULL"},{"body":"first","expected":{"blanks_inner_here":"4","blanks_middle_here":"2","counts_inner_here":"0","counts_middle_here":"2","domain_here":true},"frame_pin":"0c0efb3b7a32e86e922d180cb347f68c5bfefa3f0cbd95044a84cc6c74f8d58f","id":"R09-v0-FOLD~first","invariants":["blanks_inner_here","blanks_middle_here","counts_inner_here","counts_middle_here"],"line":"L1","literals":["domain_here"],"phase":0,"questions":["blanks_inner_here","blanks_middle_here","counts_inner_here","counts_middle_here","domain_here"],"read":9,"request_pin":"3d364e32abfbaa50998d251cba3416856ff1309ab1ef10a17efe9c53807363de","same_as":null,"twin_of":null,"viewpoint":"v0","window":"FOLD"},{"body":"rule","expected":{"blanks_inner_here":"4","blanks_middle_here":"2","domain_here":true},"frame_pin":"444d2c61db3875fee77858f9a054e89ac9ea7fa0665930dfc77944479bcc4c73","id":"R09-v0-FOLD~rule","invariants":["blanks_inner_here","blanks_middle_here"],"line":"L1","literals":["domain_here"],"phase":0,"questions":["blanks_inner_here","blanks_middle_here","domain_here"],"read":9,"request_pin":"f6881dfd0e10edc5415b03ff757650fbf25e42b7a030c17c58b36a5e4c163b9f","same_as":null,"twin_of":null,"viewpoint":"v0","window":"FOLD"},{"body":"pair","expected":{"domain_here":true},"frame_pin":"b5f9b0af88f88433c35232eb5bbf08a1835a775952af25eda4cbf543402cf48c","id":"R09-v0-FOLD~pair","invariants":[],"line":"L1","literals":["domain_here"],"phase":0,"questions":["domain_here"],"read":9,"request_pin":"883f13cae746ba42f3cd2da189819693bbf6e2a77d46c26de1b4b7924c73c9d8","same_as":null,"twin_of":null,"viewpoint":"v0","window":"FOLD"},{"body":"first","expected":{"blanks_inner_after":"1","boundary_kind":"begins","domain_here":true},"frame_pin":"1d4d12b1332a386df52985bf29de5c12549c28956e1325f0a3d051aebcc5c87c","id":"R09-v0-SEAM~first","invariants":["blanks_inner_after","boundary_kind"],"line":"L1","literals":["domain_here"],"phase":0,"questions":["blanks_inner_after","boundary_kind","domain_here"],"read":9,"request_pin":"c71f691f349d54bcd3584515de60736f82b1ea24df1340e8e0a8ef813fdbb8ac","same_as":null,"twin_of":null,"viewpoint":"v0","window":"SEAM"},{"body":"rule","expected":{"boundary_kind":"begins","domain_here":true},"frame_pin":"2868032eb23ce23895abfec796984edf065d61b988b0694a24a8e052d281d930","id":"R09-v0-SEAM~rule","invariants":["boundary_kind"],"line":"L1","literals":["domain_here"],"phase":0,"questions":["boundary_kind","domain_here"],"read":9,"request_pin":"957bc2f22b6afa7f4305344fe6391c0da870d3d11ca36e29a98bf507756bfd0d","same_as":null,"twin_of":null,"viewpoint":"v0","window":"SEAM"},{"body":"pair","expected":{"domain_here":true},"frame_pin":"6dbc343526c8eb508dd8af10642fcac9e88ae7593706badcf60af0efd82f814c","id":"R09-v0-SEAM~pair","invariants":[],"line":"L1","literals":["domain_here"],"phase":0,"questions":["domain_here"],"read":9,"request_pin":"c33138fd17f7da3520ebad07d822ee56127f55e0c337fbc9811599172b89eed3","same_as":null,"twin_of":null,"viewpoint":"v0","window":"SEAM"},{"body":"first","expected":{"blanks_inner_fold1":"4","blanks_inner_group_1":"0","blanks_inner_group_2":"0","blanks_inner_group_3":"2","blanks_inner_group_4":"2","blanks_inner_group_5":"0","blanks_inner_group_6":"0","blanks_inner_group_7":"2","blanks_inner_group_8":"2","blanks_middle_fold1":"2","closed":true,"counts_inner_fold1":"0","counts_middle_fold1":"2","domain_gapped":true,"domain_group":"7","gapped_segments":"2","groups_in_row":"4"},"frame_pin":"8ab5b50336cb8ceb2a3747a8171e109070a16d39ca0719556e6538dff19d0674","id":"R09-v1-FULL~first","invariants":["blanks_inner_fold1","blanks_inner_group_1","blanks_inner_group_2","blanks_inner_group_3","blanks_inner_group_4","blanks_inner_group_5","blanks_inner_group_6","blanks_inner_group_7","blanks_inner_group_8","blanks_middle_fold1","closed","counts_inner_fold1","counts_middle_fold1","gapped_segments","groups_in_row"],"line":"L1","literals":["domain_gapped","domain_group"],"phase":0,"questions":["blanks_inner_fold1","blanks_inner_group_1","blanks_inner_group_2","blanks_inner_group_3","blanks_inner_group_4","blanks_inner_group_5","blanks_inner_group_6","blanks_inner_group_7","blanks_inner_group_8","blanks_middle_fold1","closed","counts_inner_fold1","counts_middle_fold1","domain_gapped","domain_group","gapped_segments","groups_in_row"],"read":9,"request_pin":"6e21662dee117f751f051c3d0d0b266a042c0850083e52efa63a02dd57bcc5a6","same_as":null,"twin_of":null,"viewpoint":"v1","window":"FULL"},{"body":"rule","expected":{"closed":true,"domain_gapped":true,"domain_group":"7","gapped_segments":"2","groups_in_row":"4"},"frame_pin":"b5d47efc14556c03b1ed4f0d3dc1c40b7734b60429d4c2be4b85859788003e77","id":"R09-v1-FULL~rule","invariants":["closed","gapped_segments","groups_in_row"],"line":"L1","literals":["domain_gapped","domain_group"],"phase":0,"questions":["closed","domain_gapped","domain_group","gapped_segments","groups_in_row"],"read":9,"request_pin":"efbbc55f5987b05974706ea0aa2d25fb3d48f9eca7c741bce31a2529b34a245a","same_as":null,"twin_of":null,"viewpoint":"v1","window":"FULL"},{"body":"pair","expected":{"direction":{"plausible":["forward","back"]},"domain_group":"7","moved_groups":"4","returns_soon":true},"frame_pin":"47fc47da3aff93529e8eff0ac6f137ee106f42ca38dd777ff401cc01a85a02e5","id":"R09-v1-FULL~pair","invariants":[],"line":"L1","literals":["direction","domain_group","moved_groups","returns_soon"],"phase":0,"questions":["direction","domain_group","moved_groups","returns_soon"],"read":9,"request_pin":"a0d06978cf17b5154bf9247df456331d4c825e483a14a50246e98b89c5209e18","same_as":null,"twin_of":null,"viewpoint":"v1","window":"FULL"},{"body":"first","expected":{"blanks_inner_here":"0","blanks_middle_here":"0","domain_here":false},"frame_pin":"dac76f1930012ba6992541e3c438ae2a1d442de7ece0cf9d2c4fb2211bea6828","id":"R09-v1-RUN~first","invariants":["blanks_inner_here","blanks_middle_here"],"line":"L1","literals":["domain_here"],"phase":0,"questions":["blanks_inner_here","blanks_middle_here","domain_here"],"read":9,"request_pin":"6ec1f73ce4db5f9959a96f646cda0b3a4c2746af298aa14387b74902bc45a0b9","same_as":null,"twin_of":null,"viewpoint":"v1","window":"RUN"},{"body":"rule","expected":{"blanks_middle_here":"0","domain_here":false},"frame_pin":"9275c7573ba35aab964c75698d0b3697cb04a20f1c488fe60554ac804676edf3","id":"R09-v1-RUN~rule","invariants":["blanks_middle_here"],"line":"L1","literals":["domain_here"],"phase":0,"questions":["blanks_middle_here","domain_here"],"read":9,"request_pin":"0f0dc265911d2985dfb09430f91ad0d25922c27d54f75d3301614f342fd7b180","same_as":null,"twin_of":null,"viewpoint":"v1","window":"RUN"},{"body":"pair","expected":{"domain_here":false},"frame_pin":"7b089a6b51876cad1150e37a0843c0eb7ab7726bda681c717d635caa4048c311","id":"R09-v1-RUN~pair","invariants":[],"line":"L1","literals":["domain_here"],"phase":0,"questions":["domain_here"],"read":9,"request_pin":"f632beb0049797fb55646f6997050c5130b0c8428ec8890f58d6bd5221eea208","same_as":null,"twin_of":null,"viewpoint":"v1","window":"RUN"},{"body":"first","expected":{"blanks_inner_after":"0","boundary_kind":"ends","domain_here":false},"frame_pin":"db9e77929d56d88d486bfc5527b5d039133e39971c5f13f15ed1cc6196179cd4","id":"R09-v1-SEAM~first","invariants":["blanks_inner_after","boundary_kind"],"line":"L1","literals":["domain_here"],"phase":0,"questions":["blanks_inner_after","boundary_kind","domain_here"],"read":9,"request_pin":"dbe66c3b00481fea159aab0f8630f64fe3dc74fbddbc431ec42d660383a7acaa","same_as":null,"twin_of":null,"viewpoint":"v1","window":"SEAM"},{"body":"rule","expected":{"boundary_kind":"ends","domain_here":false},"frame_pin":"ac4daa1ce827335da7eae8d7a0895bd10ab33e784e042d81f944ec913e53cf79","id":"R09-v1-SEAM~rule","invariants":["boundary_kind"],"line":"L1","literals":["domain_here"],"phase":0,"questions":["boundary_kind","domain_here"],"read":9,"request_pin":"84440ef42cb538da2d2e73b30ae1b755b9e3a9b4e791b8976c947ce7bc8a0132","same_as":null,"twin_of":null,"viewpoint":"v1","window":"SEAM"},{"body":"pair","expected":{"domain_here":false},"frame_pin":"bae74bc6ae1f81a6cd0664b797970e8db7023358094248bddf0cba9246e5d535","id":"R09-v1-SEAM~pair","invariants":[],"line":"L1","literals":["domain_here"],"phase":0,"questions":["domain_here"],"read":9,"request_pin":"5bce30290a59d81c2ad7733bf192f44ec959077e4401f56bdd512a911e6a98b8","same_as":null,"twin_of":null,"viewpoint":"v1","window":"SEAM"},{"body":"first","expected":{"blanks_inner_fold1":"4","blanks_inner_group_1":"2","blanks_inner_group_2":"2","blanks_inner_group_3":"0","blanks_inner_group_4":"0","blanks_inner_group_5":"2","blanks_inner_group_6":"2","blanks_inner_group_7":"0","blanks_inner_group_8":"0","blanks_middle_fold1":"2","closed":true,"counts_inner_fold1":"0","counts_middle_fold1":"2","domain_gapped":true,"domain_group":"5","gapped_segments":"2","groups_in_row":"4"},"frame_pin":"e1a3ece850b4676706d812a9415609b86fc8f73b7f7a53895530aa9417003dc4","id":"R09-v2-FULL~first","invariants":["blanks_inner_fold1","blanks_inner_group_1","blanks_inner_group_2","blanks_inner_group_3","blanks_inner_group_4","blanks_inner_group_5","blanks_inner_group_6","blanks_inner_group_7","blanks_inner_group_8","blanks_middle_fold1","closed","counts_inner_fold1","counts_middle_fold1","gapped_segments","groups_in_row"],"line":"L1","literals":["domain_gapped","domain_group"],"phase":0,"questions":["blanks_inner_fold1","blanks_inner_group_1","blanks_inner_group_2","blanks_inner_group_3","blanks_inner_group_4","blanks_inner_group_5","blanks_inner_group_6","blanks_inner_group_7","blanks_inner_group_8","blanks_middle_fold1","closed","counts_inner_fold1","counts_middle_fold1","domain_gapped","domain_group","gapped_segments","groups_in_row"],"read":9,"request_pin":"1899141b949212e356c0e030b2f954846a9bf12953c911c02af67881cde62c9b","same_as":null,"twin_of":null,"viewpoint":"v2","window":"FULL"},{"body":"rule","expected":{"closed":true,"domain_gapped":true,"domain_group":"5","gapped_segments":"2","groups_in_row":"4"},"frame_pin":"e301cdf9fa15d0913cb6acf2621c2196fc81207758386735860d031bbf414115","id":"R09-v2-FULL~rule","invariants":["closed","gapped_segments","groups_in_row"],"line":"L1","literals":["domain_gapped","domain_group"],"phase":0,"questions":["closed","domain_gapped","domain_group","gapped_segments","groups_in_row"],"read":9,"request_pin":"37193fbb4176e3f15859649bb160e83b4777dfa216624af29a905f7ee1943f51","same_as":null,"twin_of":null,"viewpoint":"v2","window":"FULL"},{"body":"pair","expected":{"direction":{"plausible":["forward","back"]},"domain_group":"5","moved_groups":"4","returns_soon":true},"frame_pin":"cfb730e077a2f694d83c2ac89ca0d45c440f15354108bdce43fe897bc75b44e6","id":"R09-v2-FULL~pair","invariants":[],"line":"L1","literals":["direction","domain_group","moved_groups","returns_soon"],"phase":0,"questions":["direction","domain_group","moved_groups","returns_soon"],"read":9,"request_pin":"42d380fc0aea6c21c93f940acf5adc5b7cbafcb2c3fcf246eaf4383007443fee","same_as":null,"twin_of":null,"viewpoint":"v2","window":"FULL"},{"body":"first","expected":{"blanks_inner_here":"4","blanks_middle_here":"2","counts_inner_here":"0","counts_middle_here":"2","domain_here":false},"frame_pin":"a37eb87ed20c47ab2be00c08f6e30470c0f3aac2ba3e6f530a881bb734b3a8f9","id":"R09-v2-FOLD~first","invariants":["blanks_inner_here","blanks_middle_here","counts_inner_here","counts_middle_here"],"line":"L1","literals":["domain_here"],"phase":0,"questions":["blanks_inner_here","blanks_middle_here","counts_inner_here","counts_middle_here","domain_here"],"read":9,"request_pin":"6093a94da63b1a874911165e893b99844da20b2abfee951333c5facd04e5c2d7","same_as":null,"twin_of":null,"viewpoint":"v2","window":"FOLD"},{"body":"rule","expected":{"blanks_inner_here":"4","blanks_middle_here":"2","domain_here":false},"frame_pin":"de685ebdec54593c419b5b3920a10e45ee31d1ebf18a199222e2ab549803c339","id":"R09-v2-FOLD~rule","invariants":["blanks_inner_here","blanks_middle_here"],"line":"L1","literals":["domain_here"],"phase":0,"questions":["blanks_inner_here","blanks_middle_here","domain_here"],"read":9,"request_pin":"1be76b4cfb19c6752829f0ee744fa2fdc4a7eea2089e72ae583db8599aad2cd6","same_as":null,"twin_of":null,"viewpoint":"v2","window":"FOLD"},{"body":"pair","expected":{"domain_here":false},"frame_pin":"b8be565e06318dbff682418ac76697814d85a492349ac420e8ecccb9198f15ce","id":"R09-v2-FOLD~pair","invariants":[],"line":"L1","literals":["domain_here"],"phase":0,"questions":["domain_here"],"read":9,"request_pin":"fa7ff554a9da2da6f8cafd130c3f3bfb405253e79729fdf8658856709354cad0","same_as":null,"twin_of":null,"viewpoint":"v2","window":"FOLD"},{"body":"first","expected":{"blanks_inner_after":"1","boundary_kind":"begins","domain_here":false},"frame_pin":"70ad55fdc76dfa75d0acb273991784a7418196e5433931ac4e723fe51f70dac5","id":"R09-v2-SEAM~first","invariants":["blanks_inner_after","boundary_kind"],"line":"L1","literals":["domain_here"],"phase":0,"questions":["blanks_inner_after","boundary_kind","domain_here"],"read":9,"request_pin":"1105a6f66208a68ab7207f790e728bdf06cfe92a9c0d50d318bbb0d64a158111","same_as":null,"twin_of":null,"viewpoint":"v2","window":"SEAM"},{"body":"rule","expected":{"boundary_kind":"begins","domain_here":false},"frame_pin":"b5bc755ebd027eadc58844624f25b8c558e066c40d062e96ca277d05da3b3f60","id":"R09-v2-SEAM~rule","invariants":["boundary_kind"],"line":"L1","literals":["domain_here"],"phase":0,"questions":["boundary_kind","domain_here"],"read":9,"request_pin":"a7ea6d31f788d05c173b1e24b09dc5660515b5b48a5e751672203788d59272fe","same_as":null,"twin_of":null,"viewpoint":"v2","window":"SEAM"},{"body":"pair","expected":{"domain_here":false},"frame_pin":"e8dc1c519342356ab5bd76fa44d3d736f77a01aadc67ee51f1d0551957e6d227","id":"R09-v2-SEAM~pair","invariants":[],"line":"L1","literals":["domain_here"],"phase":0,"questions":["domain_here"],"read":9,"request_pin":"720da8c049de357a24e17661aeaeef382b62757c2c54891c337277ced349425a","same_as":null,"twin_of":null,"viewpoint":"v2","window":"SEAM"},{"body":"first","expected":{"blanks_inner_fold1":"4","blanks_inner_group_1":"0","blanks_inner_group_2":"0","blanks_inner_group_3":"2","blanks_inner_group_4":"2","blanks_inner_group_5":"0","blanks_inner_group_6":"0","blanks_inner_group_7":"2","blanks_inner_group_8":"2","blanks_middle_fold1":"2","closed":true,"counts_inner_fold1":"0","counts_middle_fold1":"2","domain_gapped":true,"domain_group":"3","gapped_segments":"2","groups_in_row":"4"},"frame_pin":"d785db5fb505804429cedaba2a0dfc7fe73d99e649ddc18ddc137522011c3fab","id":"R09-v3-FULL~first","invariants":["blanks_inner_fold1","blanks_inner_group_1","blanks_inner_group_2","blanks_inner_group_3","blanks_inner_group_4","blanks_inner_group_5","blanks_inner_group_6","blanks_inner_group_7","blanks_inner_group_8","blanks_middle_fold1","closed","counts_inner_fold1","counts_middle_fold1","gapped_segments","groups_in_row"],"line":"L1","literals":["domain_gapped","domain_group"],"phase":0,"questions":["blanks_inner_fold1","blanks_inner_group_1","blanks_inner_group_2","blanks_inner_group_3","blanks_inner_group_4","blanks_inner_group_5","blanks_inner_group_6","blanks_inner_group_7","blanks_inner_group_8","blanks_middle_fold1","closed","counts_inner_fold1","counts_middle_fold1","domain_gapped","domain_group","gapped_segments","groups_in_row"],"read":9,"request_pin":"29c1e07d6de204a22bd9980038cae1134bb20aeb68dc6941de952899f9086ab2","same_as":null,"twin_of":null,"viewpoint":"v3","window":"FULL"},{"body":"rule","expected":{"closed":true,"domain_gapped":true,"domain_group":"3","gapped_segments":"2","groups_in_row":"4"},"frame_pin":"f77ffcf10d1e9e3ab4536d397feb59f911f69f8d41991ab3db17de97db072288","id":"R09-v3-FULL~rule","invariants":["closed","gapped_segments","groups_in_row"],"line":"L1","literals":["domain_gapped","domain_group"],"phase":0,"questions":["closed","domain_gapped","domain_group","gapped_segments","groups_in_row"],"read":9,"request_pin":"df13e86c9bfe754769c46c98e4eb7741200afc2b4b40732499d61b60f6cebd51","same_as":null,"twin_of":null,"viewpoint":"v3","window":"FULL"},{"body":"pair","expected":{"direction":{"plausible":["forward","back"]},"domain_group":"3","moved_groups":"4","returns_soon":true},"frame_pin":"e00eb6c5c71252f00e5e598a466fa25010db32916ff88407be48d250cd6ae17f","id":"R09-v3-FULL~pair","invariants":[],"line":"L1","literals":["direction","domain_group","moved_groups","returns_soon"],"phase":0,"questions":["direction","domain_group","moved_groups","returns_soon"],"read":9,"request_pin":"43db0b2daa3262604d03a88633785a20c771efb3fa7863e2d51b05845a7c4144","same_as":null,"twin_of":null,"viewpoint":"v3","window":"FULL"},{"body":"first","expected":{"blanks_inner_here":"0","blanks_middle_here":"0","domain_here":false},"frame_pin":"dac76f1930012ba6992541e3c438ae2a1d442de7ece0cf9d2c4fb2211bea6828","id":"R09-v3-RUN~first","invariants":["blanks_inner_here","blanks_middle_here"],"line":"L1","literals":["domain_here"],"phase":0,"questions":["blanks_inner_here","blanks_middle_here","domain_here"],"read":9,"request_pin":"6ec1f73ce4db5f9959a96f646cda0b3a4c2746af298aa14387b74902bc45a0b9","same_as":"R09-v1-RUN~first","twin_of":"R09-v1-RUN~first","viewpoint":"v3","window":"RUN"},{"body":"rule","expected":{"blanks_middle_here":"0","domain_here":false},"frame_pin":"9275c7573ba35aab964c75698d0b3697cb04a20f1c488fe60554ac804676edf3","id":"R09-v3-RUN~rule","invariants":["blanks_middle_here"],"line":"L1","literals":["domain_here"],"phase":0,"questions":["blanks_middle_here","domain_here"],"read":9,"request_pin":"0f0dc265911d2985dfb09430f91ad0d25922c27d54f75d3301614f342fd7b180","same_as":"R09-v1-RUN~rule","twin_of":"R09-v1-RUN~rule","viewpoint":"v3","window":"RUN"},{"body":"pair","expected":{"domain_here":false},"frame_pin":"7b089a6b51876cad1150e37a0843c0eb7ab7726bda681c717d635caa4048c311","id":"R09-v3-RUN~pair","invariants":[],"line":"L1","literals":["domain_here"],"phase":0,"questions":["domain_here"],"read":9,"request_pin":"f632beb0049797fb55646f6997050c5130b0c8428ec8890f58d6bd5221eea208","same_as":"R09-v1-RUN~pair","twin_of":"R09-v1-RUN~pair","viewpoint":"v3","window":"RUN"},{"body":"first","expected":{"blanks_inner_after":"0","boundary_kind":"ends","domain_here":false},"frame_pin":"91adca5531ad1700b81f863835ec49606ccfeea81b60028053c455738cf682b2","id":"R09-v3-SEAM~first","invariants":["blanks_inner_after","boundary_kind"],"line":"L1","literals":["domain_here"],"phase":0,"questions":["blanks_inner_after","boundary_kind","domain_here"],"read":9,"request_pin":"67c44e1cce930b2df58528462095c46db72181d48fb4c0034dd41efb3bda7539","same_as":null,"twin_of":null,"viewpoint":"v3","window":"SEAM"},{"body":"rule","expected":{"boundary_kind":"ends","domain_here":false},"frame_pin":"d94f590d0af390567aa94b90f41d0467b1046a22a55d0898de2051b5f9ac9367","id":"R09-v3-SEAM~rule","invariants":["boundary_kind"],"line":"L1","literals":["domain_here"],"phase":0,"questions":["boundary_kind","domain_here"],"read":9,"request_pin":"407342c66487442bd301d395f26964d656943f8b7933b5b4cf75dc3b8bf2846b","same_as":null,"twin_of":null,"viewpoint":"v3","window":"SEAM"},{"body":"pair","expected":{"domain_here":false},"frame_pin":"7e3b8866f248413bf2c538464d8a10d8d658c0a3a7fb9c2398008c744f2fe05c","id":"R09-v3-SEAM~pair","invariants":[],"line":"L1","literals":["domain_here"],"phase":0,"questions":["domain_here"],"read":9,"request_pin":"71c56a2f74a5f6e602dd9d639f670774b04cec49fb6fa7f0b0075d252c14a9cd","same_as":null,"twin_of":null,"viewpoint":"v3","window":"SEAM"},{"body":"first","expected":{"blanks_inner_fold1":"4","blanks_inner_group_1":"2","blanks_inner_group_2":"2","blanks_inner_group_3":"0","blanks_inner_group_4":"0","blanks_inner_group_5":"2","blanks_inner_group_6":"2","blanks_inner_group_7":"0","blanks_inner_group_8":"0","blanks_middle_fold1":"2","closed":true,"counts_inner_fold1":"0","counts_middle_fold1":"2","domain_gapped":true,"domain_group":"5","gapped_segments":"2","groups_in_row":"4"},"frame_pin":"585b6933341b5e1dbce3f88996dac376ffea71615939b10191dc350dceec970b","id":"R10-v0-FULL~first","invariants":["blanks_inner_fold1","blanks_inner_group_1","blanks_inner_group_2","blanks_inner_group_3","blanks_inner_group_4","blanks_inner_group_5","blanks_inner_group_6","blanks_inner_group_7","blanks_inner_group_8","blanks_middle_fold1","closed","counts_inner_fold1","counts_middle_fold1","gapped_segments","groups_in_row"],"line":"L1","literals":["domain_gapped","domain_group"],"phase":32,"questions":["blanks_inner_fold1","blanks_inner_group_1","blanks_inner_group_2","blanks_inner_group_3","blanks_inner_group_4","blanks_inner_group_5","blanks_inner_group_6","blanks_inner_group_7","blanks_inner_group_8","blanks_middle_fold1","closed","counts_inner_fold1","counts_middle_fold1","domain_gapped","domain_group","gapped_segments","groups_in_row"],"read":10,"request_pin":"56ca4878250c88b72d4cde83629e6751c462cd6957f0d6f37cd37200ce0400cb","same_as":null,"twin_of":null,"viewpoint":"v0","window":"FULL"},{"body":"rule","expected":{"closed":true,"domain_gapped":true,"domain_group":"5","gapped_segments":"2","groups_in_row":"4"},"frame_pin":"0354c6c05301c8ceb2718d3f54cc158fb8922f62aaf183946633f052aa819a1c","id":"R10-v0-FULL~rule","invariants":["closed","gapped_segments","groups_in_row"],"line":"L1","literals":["domain_gapped","domain_group"],"phase":32,"questions":["closed","domain_gapped","domain_group","gapped_segments","groups_in_row"],"read":10,"request_pin":"ed8aa88359288ca6e78dc7a034a87d5c4dffec45f249b573e36cb5d0532d3d7d","same_as":null,"twin_of":null,"viewpoint":"v0","window":"FULL"},{"body":"pair","expected":{"direction":{"plausible":["forward","back"]},"domain_group":"5","moved_groups":"4","returns_soon":true},"frame_pin":"793b23c1c40550b38bbf6deeb8c9218cba574c806036f2bc1812806b26f62e27","id":"R10-v0-FULL~pair","invariants":[],"line":"L1","literals":["direction","domain_group","moved_groups","returns_soon"],"phase":32,"questions":["direction","domain_group","moved_groups","returns_soon"],"read":10,"request_pin":"dd80493ff965a31ccf1dd2e00f6a796f6102b88be1d3e42796b287ec05f51bd6","same_as":null,"twin_of":null,"viewpoint":"v0","window":"FULL"},{"body":"first","expected":{"blanks_inner_here":"4","blanks_middle_here":"2","counts_inner_here":"0","counts_middle_here":"2","domain_here":false},"frame_pin":"0734d0f01441f74a001888047c8a9aca707f9566efcb8a5ddae436372e10478d","id":"R10-v0-FOLD~first","invariants":["blanks_inner_here","blanks_middle_here","counts_inner_here","counts_middle_here"],"line":"L1","literals":["domain_here"],"phase":32,"questions":["blanks_inner_here","blanks_middle_here","counts_inner_here","counts_middle_here","domain_here"],"read":10,"request_pin":"2538ab960dc81d518b8d18cc0474a3d591365cb8558b100a4dba6c505f03fc45","same_as":null,"twin_of":null,"viewpoint":"v0","window":"FOLD"},{"body":"rule","expected":{"blanks_inner_here":"4","blanks_middle_here":"2","domain_here":false},"frame_pin":"de85aa29e3a8bdc2390a8b5f4c7c9fa661dad8df20110fce9e2c3db2d34e2524","id":"R10-v0-FOLD~rule","invariants":["blanks_inner_here","blanks_middle_here"],"line":"L1","literals":["domain_here"],"phase":32,"questions":["blanks_inner_here","blanks_middle_here","domain_here"],"read":10,"request_pin":"aa7ec6301f9d51f9db970ffe4bb9a5cdd947a17446c6b4616bf7b7417c8148a2","same_as":null,"twin_of":null,"viewpoint":"v0","window":"FOLD"},{"body":"pair","expected":{"domain_here":false},"frame_pin":"fa704b5e6c50ac3287b9e94859b1585a768a6c634ba4e22d6a60ce1bbd387eb9","id":"R10-v0-FOLD~pair","invariants":[],"line":"L1","literals":["domain_here"],"phase":32,"questions":["domain_here"],"read":10,"request_pin":"097fd1539eef9b71ef3642ff9075d162c9075e655691ba08e63ed0dda6aaa4e8","same_as":null,"twin_of":null,"viewpoint":"v0","window":"FOLD"},{"body":"first","expected":{"blanks_inner_after":"1","boundary_kind":"begins","domain_here":false},"frame_pin":"406e5527a0b9e67e829411939f124db9bb6c730bee8ef4641e3f02502244a625","id":"R10-v0-SEAM~first","invariants":["blanks_inner_after","boundary_kind"],"line":"L1","literals":["domain_here"],"phase":32,"questions":["blanks_inner_after","boundary_kind","domain_here"],"read":10,"request_pin":"fa3c4a1ce49fef2d39f7eed81c06eb103bdf7b4789807d7a1a608bdf5aec3844","same_as":null,"twin_of":null,"viewpoint":"v0","window":"SEAM"},{"body":"rule","expected":{"boundary_kind":"begins","domain_here":false},"frame_pin":"d974e5d16b6b8e9abd77342bebfe5790828fae3ad26dd514c099bed58f6a0eb4","id":"R10-v0-SEAM~rule","invariants":["boundary_kind"],"line":"L1","literals":["domain_here"],"phase":32,"questions":["boundary_kind","domain_here"],"read":10,"request_pin":"96766b2bd69979dd4c94ac23a9948210b426c8f9d9688f3d9822a3bf679c54e3","same_as":null,"twin_of":null,"viewpoint":"v0","window":"SEAM"},{"body":"pair","expected":{"domain_here":false},"frame_pin":"6f95188e53a8b69f911b0d5fdd2c6c75cbd60579c995fd64f40c446951f3f133","id":"R10-v0-SEAM~pair","invariants":[],"line":"L1","literals":["domain_here"],"phase":32,"questions":["domain_here"],"read":10,"request_pin":"ed935d6f2d73cfdc7fabeb495b1ef708b5cf5c7a3317fd34040d484b6f05f3ff","same_as":null,"twin_of":null,"viewpoint":"v0","window":"SEAM"},{"body":"first","expected":{"blanks_inner_fold1":"4","blanks_inner_group_1":"0","blanks_inner_group_2":"0","blanks_inner_group_3":"2","blanks_inner_group_4":"2","blanks_inner_group_5":"0","blanks_inner_group_6":"0","blanks_inner_group_7":"2","blanks_inner_group_8":"2","blanks_middle_fold1":"2","closed":true,"counts_inner_fold1":"0","counts_middle_fold1":"2","domain_gapped":true,"domain_group":"3","gapped_segments":"2","groups_in_row":"4"},"frame_pin":"e7084b0db0a6655cd4d7fa7026da2da9264de96e104b6855d84534217a02cf19","id":"R10-v1-FULL~first","invariants":["blanks_inner_fold1","blanks_inner_group_1","blanks_inner_group_2","blanks_inner_group_3","blanks_inner_group_4","blanks_inner_group_5","blanks_inner_group_6","blanks_inner_group_7","blanks_inner_group_8","blanks_middle_fold1","closed","counts_inner_fold1","counts_middle_fold1","gapped_segments","groups_in_row"],"line":"L1","literals":["domain_gapped","domain_group"],"phase":32,"questions":["blanks_inner_fold1","blanks_inner_group_1","blanks_inner_group_2","blanks_inner_group_3","blanks_inner_group_4","blanks_inner_group_5","blanks_inner_group_6","blanks_inner_group_7","blanks_inner_group_8","blanks_middle_fold1","closed","counts_inner_fold1","counts_middle_fold1","domain_gapped","domain_group","gapped_segments","groups_in_row"],"read":10,"request_pin":"51027ba894e04735e3cad603db18d9be1a475e2ddcec6e11ff265bf7117db704","same_as":null,"twin_of":null,"viewpoint":"v1","window":"FULL"},{"body":"rule","expected":{"closed":true,"domain_gapped":true,"domain_group":"3","gapped_segments":"2","groups_in_row":"4"},"frame_pin":"dcdeedb1cbc5dcd8c9189f227c30866feb88d9768828bd9bb7efd0e40f40a9da","id":"R10-v1-FULL~rule","invariants":["closed","gapped_segments","groups_in_row"],"line":"L1","literals":["domain_gapped","domain_group"],"phase":32,"questions":["closed","domain_gapped","domain_group","gapped_segments","groups_in_row"],"read":10,"request_pin":"a1d90068c57a91c5c5b5394c498163590d5e0367916f70a7d347932074d02851","same_as":null,"twin_of":null,"viewpoint":"v1","window":"FULL"},{"body":"pair","expected":{"direction":{"plausible":["forward","back"]},"domain_group":"3","moved_groups":"4","returns_soon":true},"frame_pin":"9ac74b36bf61f28023361532d3789150d43b1f4c7e7ef15b3024980f0696a1c8","id":"R10-v1-FULL~pair","invariants":[],"line":"L1","literals":["direction","domain_group","moved_groups","returns_soon"],"phase":32,"questions":["direction","domain_group","moved_groups","returns_soon"],"read":10,"request_pin":"16b2966af6df7c855df358a7a51c38779318ab82cd4e04430ef05e21b648230f","same_as":null,"twin_of":null,"viewpoint":"v1","window":"FULL"},{"body":"first","expected":{"blanks_inner_here":"0","blanks_middle_here":"0","domain_here":false},"frame_pin":"dac76f1930012ba6992541e3c438ae2a1d442de7ece0cf9d2c4fb2211bea6828","id":"R10-v1-RUN~first","invariants":["blanks_inner_here","blanks_middle_here"],"line":"L1","literals":["domain_here"],"phase":32,"questions":["blanks_inner_here","blanks_middle_here","domain_here"],"read":10,"request_pin":"6ec1f73ce4db5f9959a96f646cda0b3a4c2746af298aa14387b74902bc45a0b9","same_as":null,"twin_of":"R09-v1-RUN~first","viewpoint":"v1","window":"RUN"},{"body":"rule","expected":{"blanks_middle_here":"0","domain_here":false},"frame_pin":"9275c7573ba35aab964c75698d0b3697cb04a20f1c488fe60554ac804676edf3","id":"R10-v1-RUN~rule","invariants":["blanks_middle_here"],"line":"L1","literals":["domain_here"],"phase":32,"questions":["blanks_middle_here","domain_here"],"read":10,"request_pin":"0f0dc265911d2985dfb09430f91ad0d25922c27d54f75d3301614f342fd7b180","same_as":null,"twin_of":"R09-v1-RUN~rule","viewpoint":"v1","window":"RUN"},{"body":"pair","expected":{"domain_here":false},"frame_pin":"7b089a6b51876cad1150e37a0843c0eb7ab7726bda681c717d635caa4048c311","id":"R10-v1-RUN~pair","invariants":[],"line":"L1","literals":["domain_here"],"phase":32,"questions":["domain_here"],"read":10,"request_pin":"f632beb0049797fb55646f6997050c5130b0c8428ec8890f58d6bd5221eea208","same_as":null,"twin_of":"R09-v1-RUN~pair","viewpoint":"v1","window":"RUN"},{"body":"first","expected":{"blanks_inner_after":"0","boundary_kind":"ends","domain_here":false},"frame_pin":"db9e77929d56d88d486bfc5527b5d039133e39971c5f13f15ed1cc6196179cd4","id":"R10-v1-SEAM~first","invariants":["blanks_inner_after","boundary_kind"],"line":"L1","literals":["domain_here"],"phase":32,"questions":["blanks_inner_after","boundary_kind","domain_here"],"read":10,"request_pin":"dbe66c3b00481fea159aab0f8630f64fe3dc74fbddbc431ec42d660383a7acaa","same_as":null,"twin_of":"R09-v1-SEAM~first","viewpoint":"v1","window":"SEAM"},{"body":"rule","expected":{"boundary_kind":"ends","domain_here":false},"frame_pin":"ac4daa1ce827335da7eae8d7a0895bd10ab33e784e042d81f944ec913e53cf79","id":"R10-v1-SEAM~rule","invariants":["boundary_kind"],"line":"L1","literals":["domain_here"],"phase":32,"questions":["boundary_kind","domain_here"],"read":10,"request_pin":"84440ef42cb538da2d2e73b30ae1b755b9e3a9b4e791b8976c947ce7bc8a0132","same_as":null,"twin_of":"R09-v1-SEAM~rule","viewpoint":"v1","window":"SEAM"},{"body":"pair","expected":{"domain_here":false},"frame_pin":"bae74bc6ae1f81a6cd0664b797970e8db7023358094248bddf0cba9246e5d535","id":"R10-v1-SEAM~pair","invariants":[],"line":"L1","literals":["domain_here"],"phase":32,"questions":["domain_here"],"read":10,"request_pin":"5bce30290a59d81c2ad7733bf192f44ec959077e4401f56bdd512a911e6a98b8","same_as":null,"twin_of":"R09-v1-SEAM~pair","viewpoint":"v1","window":"SEAM"},{"body":"first","expected":{"blanks_inner_fold1":"4","blanks_inner_group_1":"2","blanks_inner_group_2":"2","blanks_inner_group_3":"0","blanks_inner_group_4":"0","blanks_inner_group_5":"2","blanks_inner_group_6":"2","blanks_inner_group_7":"0","blanks_inner_group_8":"0","blanks_middle_fold1":"2","closed":true,"counts_inner_fold1":"0","counts_middle_fold1":"2","domain_gapped":true,"domain_group":"1","gapped_segments":"2","groups_in_row":"4"},"frame_pin":"bb4cf6dd35ea507f93f24a8c94f9522213dec6c5c0472b52aec1cc51335bd703","id":"R10-v2-FULL~first","invariants":["blanks_inner_fold1","blanks_inner_group_1","blanks_inner_group_2","blanks_inner_group_3","blanks_inner_group_4","blanks_inner_group_5","blanks_inner_group_6","blanks_inner_group_7","blanks_inner_group_8","blanks_middle_fold1","closed","counts_inner_fold1","counts_middle_fold1","gapped_segments","groups_in_row"],"line":"L1","literals":["domain_gapped","domain_group"],"phase":32,"questions":["blanks_inner_fold1","blanks_inner_group_1","blanks_inner_group_2","blanks_inner_group_3","blanks_inner_group_4","blanks_inner_group_5","blanks_inner_group_6","blanks_inner_group_7","blanks_inner_group_8","blanks_middle_fold1","closed","counts_inner_fold1","counts_middle_fold1","domain_gapped","domain_group","gapped_segments","groups_in_row"],"read":10,"request_pin":"5c844852fbe7d0fa3dee3376a1d80b67239d4f87d5c7a049ddab6f23cf506458","same_as":null,"twin_of":null,"viewpoint":"v2","window":"FULL"},{"body":"rule","expected":{"closed":true,"domain_gapped":true,"domain_group":"1","gapped_segments":"2","groups_in_row":"4"},"frame_pin":"11862fd2b9c3ae226584efe99b0079e496185fa5cdd8811e1317755324e090d7","id":"R10-v2-FULL~rule","invariants":["closed","gapped_segments","groups_in_row"],"line":"L1","literals":["domain_gapped","domain_group"],"phase":32,"questions":["closed","domain_gapped","domain_group","gapped_segments","groups_in_row"],"read":10,"request_pin":"601ccf5b1efaf56dffd91cf4634666c305c5d4eb1a7a005a060c7224f700f4a9","same_as":null,"twin_of":null,"viewpoint":"v2","window":"FULL"},{"body":"pair","expected":{"direction":{"plausible":["forward","back"]},"domain_group":"1","moved_groups":"4","returns_soon":true},"frame_pin":"3b6a9edacfa2a7f80955558881bc9da4da0ebd40f61d429c13cfff241fa78b6b","id":"R10-v2-FULL~pair","invariants":[],"line":"L1","literals":["direction","domain_group","moved_groups","returns_soon"],"phase":32,"questions":["direction","domain_group","moved_groups","returns_soon"],"read":10,"request_pin":"2e9e7273ac3e6ab02d69267e4ce2c30c8c98d7b2ec85729b01858c2a25b7397a","same_as":null,"twin_of":null,"viewpoint":"v2","window":"FULL"},{"body":"first","expected":{"blanks_inner_here":"4","blanks_middle_here":"2","counts_inner_here":"0","counts_middle_here":"2","domain_here":true},"frame_pin":"07f6bd1519c6a12196df87587954e15cef6a870a13f3bd2c833e47849e88b3e5","id":"R10-v2-FOLD~first","invariants":["blanks_inner_here","blanks_middle_here","counts_inner_here","counts_middle_here"],"line":"L1","literals":["domain_here"],"phase":32,"questions":["blanks_inner_here","blanks_middle_here","counts_inner_here","counts_middle_here","domain_here"],"read":10,"request_pin":"4209585e6f1fee8a2f753db53ed6eec2069ccdc822f5badf8abe3ece46d846fe","same_as":null,"twin_of":null,"viewpoint":"v2","window":"FOLD"},{"body":"rule","expected":{"blanks_inner_here":"4","blanks_middle_here":"2","domain_here":true},"frame_pin":"c07b2352e25e69c75d31697f8375be6f9c9d7ac87d33872a457a834ff310b041","id":"R10-v2-FOLD~rule","invariants":["blanks_inner_here","blanks_middle_here"],"line":"L1","literals":["domain_here"],"phase":32,"questions":["blanks_inner_here","blanks_middle_here","domain_here"],"read":10,"request_pin":"9754a9c74898ebf727254b68391c2017f373f33c551e9e2a27e9d7b6774c5591","same_as":null,"twin_of":null,"viewpoint":"v2","window":"FOLD"},{"body":"pair","expected":{"domain_here":true},"frame_pin":"a55e8d0c5bff7ae278703a5efaf744c79f88f756cc48d2761d44da9fcc0990b7","id":"R10-v2-FOLD~pair","invariants":[],"line":"L1","literals":["domain_here"],"phase":32,"questions":["domain_here"],"read":10,"request_pin":"253497e728433597d15f997f447f5c3c337fa272c185df64aaeb979da5519c44","same_as":null,"twin_of":null,"viewpoint":"v2","window":"FOLD"},{"body":"first","expected":{"blanks_inner_after":"1","boundary_kind":"begins","domain_here":true},"frame_pin":"da5ea9699dda633fcc5d6116e107ab24ef3c7949a43213c070abdd3c0a435ea2","id":"R10-v2-SEAM~first","invariants":["blanks_inner_after","boundary_kind"],"line":"L1","literals":["domain_here"],"phase":32,"questions":["blanks_inner_after","boundary_kind","domain_here"],"read":10,"request_pin":"01165380410c9d18e8e861675e6733655314c3e8b6008469acace2ce5f42264f","same_as":null,"twin_of":null,"viewpoint":"v2","window":"SEAM"},{"body":"rule","expected":{"boundary_kind":"begins","domain_here":true},"frame_pin":"bc1cc4c550dc5611c5c48ae3f675f4bcd100a004bcf5206cc4d6b782d29d6bea","id":"R10-v2-SEAM~rule","invariants":["boundary_kind"],"line":"L1","literals":["domain_here"],"phase":32,"questions":["boundary_kind","domain_here"],"read":10,"request_pin":"81f8c7daaa223b962928c9e39ef04def227938c4a840effba7d7e3cb53e32b88","same_as":null,"twin_of":null,"viewpoint":"v2","window":"SEAM"},{"body":"pair","expected":{"domain_here":true},"frame_pin":"818f8e481a954506ef39b17b156ea95b57d14c671c19e9fa956fefb8c531c943","id":"R10-v2-SEAM~pair","invariants":[],"line":"L1","literals":["domain_here"],"phase":32,"questions":["domain_here"],"read":10,"request_pin":"813dd4fe734271fffd19b00e051bb9992ef309b4200051f2f9394af5b0183e4d","same_as":null,"twin_of":null,"viewpoint":"v2","window":"SEAM"},{"body":"first","expected":{"blanks_inner_fold1":"4","blanks_inner_group_1":"0","blanks_inner_group_2":"0","blanks_inner_group_3":"2","blanks_inner_group_4":"2","blanks_inner_group_5":"0","blanks_inner_group_6":"0","blanks_inner_group_7":"2","blanks_inner_group_8":"2","blanks_middle_fold1":"2","closed":true,"counts_inner_fold1":"0","counts_middle_fold1":"2","domain_gapped":true,"domain_group":"7","gapped_segments":"2","groups_in_row":"4"},"frame_pin":"0fd912cc3f902fd54aa58be5f5184e03fa1a50b4c76e6d2bf4a42f009ec9789b","id":"R10-v3-FULL~first","invariants":["blanks_inner_fold1","blanks_inner_group_1","blanks_inner_group_2","blanks_inner_group_3","blanks_inner_group_4","blanks_inner_group_5","blanks_inner_group_6","blanks_inner_group_7","blanks_inner_group_8","blanks_middle_fold1","closed","counts_inner_fold1","counts_middle_fold1","gapped_segments","groups_in_row"],"line":"L1","literals":["domain_gapped","domain_group"],"phase":32,"questions":["blanks_inner_fold1","blanks_inner_group_1","blanks_inner_group_2","blanks_inner_group_3","blanks_inner_group_4","blanks_inner_group_5","blanks_inner_group_6","blanks_inner_group_7","blanks_inner_group_8","blanks_middle_fold1","closed","counts_inner_fold1","counts_middle_fold1","domain_gapped","domain_group","gapped_segments","groups_in_row"],"read":10,"request_pin":"9eaa5ee623d5495a17d592ac2b00c406f766daeba4c34622308091f7ae7d6cd4","same_as":null,"twin_of":null,"viewpoint":"v3","window":"FULL"},{"body":"rule","expected":{"closed":true,"domain_gapped":true,"domain_group":"7","gapped_segments":"2","groups_in_row":"4"},"frame_pin":"b0dda1bc7957e6d542d8509454825c229ce659f07fec6aad1be44fb4843e5d47","id":"R10-v3-FULL~rule","invariants":["closed","gapped_segments","groups_in_row"],"line":"L1","literals":["domain_gapped","domain_group"],"phase":32,"questions":["closed","domain_gapped","domain_group","gapped_segments","groups_in_row"],"read":10,"request_pin":"80024e73b0cebfa558ed4f3117bc29fd2f0702a02335331b46196760cc970322","same_as":null,"twin_of":null,"viewpoint":"v3","window":"FULL"},{"body":"pair","expected":{"direction":{"plausible":["forward","back"]},"domain_group":"7","moved_groups":"4","returns_soon":true},"frame_pin":"48e6f241469978737c3e317e8dbfea10e5102fa2b7a22c209ea94cc4e56a0b89","id":"R10-v3-FULL~pair","invariants":[],"line":"L1","literals":["direction","domain_group","moved_groups","returns_soon"],"phase":32,"questions":["direction","domain_group","moved_groups","returns_soon"],"read":10,"request_pin":"1f115aeffc963845eb58a932c26a8efbd19adaece8b03d871ef2d0b4d2282129","same_as":null,"twin_of":null,"viewpoint":"v3","window":"FULL"},{"body":"first","expected":{"blanks_inner_here":"0","blanks_middle_here":"0","domain_here":false},"frame_pin":"dac76f1930012ba6992541e3c438ae2a1d442de7ece0cf9d2c4fb2211bea6828","id":"R10-v3-RUN~first","invariants":["blanks_inner_here","blanks_middle_here"],"line":"L1","literals":["domain_here"],"phase":32,"questions":["blanks_inner_here","blanks_middle_here","domain_here"],"read":10,"request_pin":"6ec1f73ce4db5f9959a96f646cda0b3a4c2746af298aa14387b74902bc45a0b9","same_as":"R10-v1-RUN~first","twin_of":"R09-v1-RUN~first","viewpoint":"v3","window":"RUN"},{"body":"rule","expected":{"blanks_middle_here":"0","domain_here":false},"frame_pin":"9275c7573ba35aab964c75698d0b3697cb04a20f1c488fe60554ac804676edf3","id":"R10-v3-RUN~rule","invariants":["blanks_middle_here"],"line":"L1","literals":["domain_here"],"phase":32,"questions":["blanks_middle_here","domain_here"],"read":10,"request_pin":"0f0dc265911d2985dfb09430f91ad0d25922c27d54f75d3301614f342fd7b180","same_as":"R10-v1-RUN~rule","twin_of":"R09-v1-RUN~rule","viewpoint":"v3","window":"RUN"},{"body":"pair","expected":{"domain_here":false},"frame_pin":"7b089a6b51876cad1150e37a0843c0eb7ab7726bda681c717d635caa4048c311","id":"R10-v3-RUN~pair","invariants":[],"line":"L1","literals":["domain_here"],"phase":32,"questions":["domain_here"],"read":10,"request_pin":"f632beb0049797fb55646f6997050c5130b0c8428ec8890f58d6bd5221eea208","same_as":"R10-v1-RUN~pair","twin_of":"R09-v1-RUN~pair","viewpoint":"v3","window":"RUN"},{"body":"first","expected":{"blanks_inner_after":"0","boundary_kind":"ends","domain_here":false},"frame_pin":"91adca5531ad1700b81f863835ec49606ccfeea81b60028053c455738cf682b2","id":"R10-v3-SEAM~first","invariants":["blanks_inner_after","boundary_kind"],"line":"L1","literals":["domain_here"],"phase":32,"questions":["blanks_inner_after","boundary_kind","domain_here"],"read":10,"request_pin":"67c44e1cce930b2df58528462095c46db72181d48fb4c0034dd41efb3bda7539","same_as":null,"twin_of":"R09-v3-SEAM~first","viewpoint":"v3","window":"SEAM"},{"body":"rule","expected":{"boundary_kind":"ends","domain_here":false},"frame_pin":"d94f590d0af390567aa94b90f41d0467b1046a22a55d0898de2051b5f9ac9367","id":"R10-v3-SEAM~rule","invariants":["boundary_kind"],"line":"L1","literals":["domain_here"],"phase":32,"questions":["boundary_kind","domain_here"],"read":10,"request_pin":"407342c66487442bd301d395f26964d656943f8b7933b5b4cf75dc3b8bf2846b","same_as":null,"twin_of":"R09-v3-SEAM~rule","viewpoint":"v3","window":"SEAM"},{"body":"pair","expected":{"domain_here":false},"frame_pin":"7e3b8866f248413bf2c538464d8a10d8d658c0a3a7fb9c2398008c744f2fe05c","id":"R10-v3-SEAM~pair","invariants":[],"line":"L1","literals":["domain_here"],"phase":32,"questions":["domain_here"],"read":10,"request_pin":"71c56a2f74a5f6e602dd9d639f670774b04cec49fb6fa7f0b0075d252c14a9cd","same_as":null,"twin_of":"R09-v3-SEAM~pair","viewpoint":"v3","window":"SEAM"}],"line":"L1","manifest_pin":"2699ba597223d098ac428bb1ee45956d1bf6491c3de555ef99e9c3514fa92ef5","model":"jev-1.13.0","name":"the half","nearest_per_blink":32,"phases":[0,32,0,32,0,32,0,32,0,32],"question_texts_pin":"1b4a3bca33a8074e9e6ada689da5d9eba00e89164f2f2010a0e4ea0035b23f4a","reads":10,"return_period":2,"returns":[1,3,5,7,9],"rule":"The last position of each row adjoins the first: the rows are closed.","summary":{"answers":1556,"answers_first_read":134,"answers_per_later_read":158,"bodies":348,"bodies_first_read":24,"invariant_answers":1020,"invariants_per_read":102,"requests":319,"shared_bodies":29,"shared_per_read":[2,3,3,3,3,3,3,3,3,3],"twins_across_blinks":42},"thresholds":{"band":["1339/6840","12647/47880"],"decay_tau":"1/2","direction_pass":"19/20","direction_refuted":"1/2","floor_dist":"1/250","floor_share":"1/40","literal_held":"23/24","moved":"1/20"},"unit":8}