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 f \ ] HyperCTL:threads=4elapsed=9.160cpu=30.724gc=1.468factor=3.357zXZִF! :]ŗXf[&r>ܞSd+Ǯ5,/VJYO,$uoe;Ie!4;&H#57PǮ71BS4w: ^­oo^4~m.T#y^) " Ag\ xGעv A*_WS["kKh/fYՅU?t6HT]Mz՜ ǻ gswhG:'_S%c59$hgN W܎a/ - oUdNϳ6PƌKNڇD8Q:hN4.}Dxf^der)%ONudZSϬib\OOۙ#5i0~Gje_0O'e"9%Q= 7NKP?ŜY*0;g;l" ߗTip ZghQ0/,C:.PØnY282Z9#iz5E+bHgYZ7zXZִF! ]ŗXiɟF@Am|{'h1Dm/,l:Iy0śK>_57Bn9ǻF ɖk\iZ+Am^^AC}GEv#Y ~UbV/9q75)WޥbBNL*P=gYZ7zXZִF! H~}]ŗXi%G̷mڻR_ȹE챙}uVCcʲSm]fb j1z*Tk>z*K'V+ٳ04b%+ , =/ݻ0@ͽiI&G*\koP41b*3@@ 55nUi/T<w[Jm-aɋ __.ӤEp"omXTa*ݣ]jz&+DzgF#ӆ[pQyu@Xŷ匲/LG|OL*ϱ|~`(ⶅ:K;1jbEE46hYb7(wOMMC$\gѩ,m`V&WKܔ']Zעn,%ݙ&(!ptYv'$̲ -tT>g5N8uM"Try<4׬zcyPn>'IYH#z-ru.Fu@6ߓЊp[b_*KdNCLYv{D&h!-)^y0ld>`]|rv 6v"# g@>&U~^_ p>ZEYv`'{}^ѕ_Fr\1YGx TR.hq&IՊ ],n#BKl62pˤ|kmGP72)Z_7aCڛ o}bDԟ[s/ܽkYQ[%m:eΚh.Q&aOt#b {U 3Wc,< =Z&hüJWqIEEMb13Ǻ\{dX(5k$:43LgP< Ne'vc^OЙZ_}Jzϫj T*5?`g|ZpVV+Po&$y-OW/L}3 w=b ȅھٞ75a`jI_rhRqmǒ1ۿ+Mi* پEm-0Tk M;8C| yS0²)Xډߺy(|_DmFy4P^쇳R ja 2 D~SMWyvi2fg͗MΠa -ᴱgYZ6fc487f80abe0297e3669295f4b2f5f1b147c5624e13432f40f7b1835a151e11bc124aeab3c9b529 476b8b6d93e3d9822aeb6dfada9a4f4f5a0de682 0be98acdfb5a8716ba4acd7648a32332cb18cde8   HyperCTL