SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "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 BB; T ]S PCF:threads=8elapsed=25.324cpu=89.074gc=2.812factor=3.527zXZִF! ]ŗXf[&u9`&inq9firKoVWx`;xnpw{.Dn5T&W(Hio]O3ӘIԧC) ]+VsE ~E>$"sbߣvjx$8ix[(F6$rTWь>PB ՜^ԗ.ayv UU9z {9ldyR':bM H]m2ܵ~P`nj䙲dŇX/sʘpʻM숂5vQ]ɟ,%)_8'IZWH&A"_&e )7Չm 9xud%ϛX[y#nowHIq6De;)\3qQ1ʙK?6UsJw0R3*R6HlTFG_j-EUSf8/lF>yzuDZ'#Ͷg/gtz;L h^00EP|*yLeɧ+1OF<1-6헮KqUyoL D:fR4} 42ޱ"=yCnC9]ժy,qp`Cw혗 ц?w߂>=*\F<`V`<7=KVgYZ7zXZִF! l]ŗXiɟ1˦r*E$O @zֲ_}@a9ıI02 _{CP7=ǟh@U>ퟬ_lM>X|xZA4c :K0g(Ey&a+ |Bm^3{p$t1"ױgYZ7zXZִF! ]ŗXi%>t{tB!7 jr;d`T "byAS#祲E"3MY9VMX8ʩ|eIt`jGKz9ÿK]鄏}x N+5|UG&G/ yY~vQͭ2 @V1HOz istuzs_]~ۛd\BGrZ]xU`.VO05ȗ:kO݆E'%qMw7cףM"帒JO~MxfԦP޾pxeY& >W>4qf؆*э ^w`Uj)4:_T jk,xJPqw@ON0<׮P9ګ -W kOU`r2.ޝ}ѷϤZ44~/\Ítcn#&͕LHA͡-iZ5ż:e[]n5 GY 3Q|:1M֛Pa/ԧ~-D4Zw5 gaw&ÛES/$hOxPpH`)-/1mW\Qu7F,ΜT+6Ms-5ReP(DXyU'\ji1II/0^e)㴚ߠEfQDʾ:J?UDR -/N IX#*JWK;G/8[}H|)€u: e,ͼDRaB"Ӛ?{V)3RҎ \P5~֓+F5&Si $A=l佊[ /Hnh3b,SaJj f=$ol|~ CU.NzeїP6D8|.M1S)ոoLb$ Xԉ=GE5HЭZ`Ƅ\2IDސ^ݩRJka kD7ahe+3ΦRr3C=YH8g#eF1wE4ew%!`0źql$9 ҫ{znE`˒&rǩQc`>Zs?U6WY !xQ0-z0,Btͫ>"Fs"wI~|G0 uu0Mm!QvZϝE[14 jʴOR`$hg{AWgTP8EmE$mL`?ڎJA'AvջW9" tQAI$H}Dw&kEٷsL/ ]S3<5: WSjՠ E6' @b NF]qNXV' qdܬ~>P (0N\h%4c}nZ|8I9xJوWG4wsKr?I- eJ{a\jk>=wB[S <RgYZd8934f934b34e0326d43dc77db1df77e4552dd5cc58d21ba3dc8b698b4c6d36f436849048b45c256 c642f89151926be6cc7824e0701f1f7d684cfe9b 14157c1a3b8fbd74cb2f80b32216bc456b69f149 cf6a4c7e8eded7d2115743a15faf288155cfe92c  PCF