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 Z Dd ]]]ZF:threads=6elapsed=12.660cpu=44.452gc=2.244factor=3.517zXZִF! BZ]ŗXf1-) enȈA"tr-j. ZbNVH8J8gƠܐgf[$@U4FA&AGjiD K9Fʣݜ :j@)u|8LRI$Ν9HgYR5QiI2WV`_.iWQ HNEpg-Y0bҴa=X hݠ%rYVӟeHtGQ86o 6[(e cL"Y_Vż';z 3fņl ;"\dP_Z}ASOܠvh6vFWF Ux) `Al*7sDZ'*y/t(%D2E`E)9a=h90C)O8SX܅ q Ue\6F 6ik꾚~>D;٧H!5z>r;eKxn8{^?64+B>}v` _q_LSLQMO 5'Hܵy]ڄgYZ7zXZִF! )]ŗXiɟ 1FE`uqXBb~,@ b.J69s%.MqMEq yoå~s;bۂo cW5(ODۓTeRvu2N8ʼy%]'"ju~ y2fűt,abS4*BF$wO=JkM0N|Qmxw"{ؑ(8G^QDJa/>kH:P զA)CV™wմX4olHgB>Rs;t#m 6E27+8E*@ +\%nyx0a|p(^N쒾2(VU/Lv'Y`y[oA/K!Ot*Ov Z(s44Ar"7@6|h* S"zަ5Lr_k<-ev #3S12ksi?/wK` -0twnqNc 5XkVV\ʹ)FUb6^}bk>4@,IGZDo'x6@lC. tq!>V@Sdf3NYzj7B(e~"MdL9?8! k Q3ɤs8vhF ū/%M,g~p`\:•0qPwjg4׻(=wἧglpx> 1 0К {/U<3Dlˬ  XE; - ̆"[x66&hjB"Pj(5NygKUH˞ g""S;$ɧ‚W' uEK(W7Ѥwv&ςV*072K>ln,0ҩ ď9a,) Aئx|'m8W_unkfp >"7#{T{L>SAZ?Q;