SQLite format 3@ .0:  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_timings" BLOB, "ml_statistics" BLOB, "task_statistics" BLOB, "errors" BLOB, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info d) < t ]/ FunWithTilings:threads=4elapsed=12.919cpu=41.508gc=0.312factor=3.217zXZִF! ]ŗXf[&-? 4gD6 HƙzSbx U׀Mv1i=нAP0#AҿblGYTU\( [oEALH^ Ⱦ?_kw2\w.+2!<$b׽Ldlep$fijՠu@7bX GL6AP1ݵYJr |TgYZ7zXZִF! JD]ŗXiɟUXvjV*~ ^kmoy`&OxJ6,U})"H{N}$J`KFu}YZ7zXZִF! \-]ŗXi%GgGSҒQ=_J,lhaq}A"JMТN*JNt+<. >0-fǠ"-PY@f`[6qB&" dz/cA\vWt5SʍF^{ vɅA^F!ve-P7:yb9n8PYN7uʛ:zQ'Uٽ:B/<56iωO8V{2V.# ;-:ʨV oC8rfG[ARotRg+3wzE@lt-x2WG'v"!8Q}3g@O Y c,'>N4F!S9L `ee ղFʞ/qs{P~izl`[gЂї~3Fhr! Ju*w>6y ~+ rM-AHR-+ \TCFԔXQ+=aPSDWk}X va>B s{pi+Ѓq`3a$Mبs<4k)1^\RD]I+KqI!~04SܹKS>S@ɳi̝1MTxOOsYIHVER FugZ2ۿߚ\F@Jvd'SϼgDԭ> vRFU4l;B-hE^/^J&d/ <VT,u=aD`nDCn;P A׊ӥ%ë8!ېrb[  jgVh>GY"I;4E +f3YzяD)Dؙ/1C0Sm4Y$[z;5`ͷ+"')KFEFb6KS]F.-d?Z7 _zQP> Э"УFӤ/Vݝr@gBiMxmٔ([M6TAy~f|eۑ Ts/ }1Lc-x!C".$;FhKܞ0`U[˧'fU88PZ:RZ[t7Vo+cS_֑f990p>}X+mː'm[ѢAgEj5'_טr[{G6u^T;}|4ӢՔ8) tΨg/֫&m,;0 C_#݈yBQ^9!0Kx2R_5x \w<|Zl}Y%AE#\N=MÇp{Ĕ-viX}ݨ t f䒽q$>BVE/p ^mW5} < YٱgYZ2b4dc1eefcdf85f70759014ee56a0e70b60c76601795f3a7abed9fc1d9546e3552e224994a90ba84 4907e731bc16daddc205b6b11f8b89eb33f47f6b ) FunWithTilings