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  LD< ]]]ZF:threads=2elapsed=27.825cpu=44.436gc=2.864factor=1.607zXZִF! B ]ŗXf1-) enȈA XR„~ z@&;f ٞlWۨt>%ؒAGVY*r`4RE#<5¨ڔVCj^}jER ~meT#ѸoH3y7y*=g{bO~FA}/ez܌8%8{y҉(ognƁR^J€6Ya+zQDf쮩_pzOjR0]O }1̅::G1; 1Kd\^'4rL,fw'j>YPh$s"xNdrC|EwфIFoB!Ō$X}㐕 [ŻF5jƎ2D[i叽(_#RDa[I$g$"R\:צ&G  6exs:2kmnP Fw}G?=DgYZ7zXZִF! ಃW]ŗXi%>g-*F'K Pƣ}2A}pIKwefx8+L޴˫Y0iIcBG{'_40&N}:S  MN(T'̥IPX tg*?B\X:MDlRG:q 9l_S5rxn|]t2OGd].'2j@]Vbz@>mż_:TGc؁R9:{N'pJ!6tmiQ{5ʰaj\j" a158}LJyM'<[ɾs;fV .y 웛2)VS0dÖ`Vq;.ئ. UzyS:x|j'k4xNnJIqڰދ ѽ'nQ03;#5#jOD+QW @<)ukGxY8$C=7STäj,ٔ\F`T6r'FJR}Tʜ_uБB tgќZ L6ߩySzz&lf !r'v 9@^o0(Asz?ǰŽ́jWtdvtzX0FHa $S[@.>nU 2Z7,^!x8p+Fv+4lQ\=W2\s0 >̰ȉQPYQ%u CƫuRalňX/7Krv5Vp z>6=nWلBSLޒ-kXLg.C#\`(b т#jpdqЦTb3l~'mq_O?Q4rI+9K ?f,42+@*,@Of-w(L3&kȈ.T-PI}ĨdY%@\hBFXղ(?iڔ3voN#-/I)6H8~͝ ǸsK"m׹y?j)<`PWW\,f s=7OS'Wɯ?@4 9)(HCgqROKRVhIW 16c$Q T4L}׫}d5Ug &f.e)032afŏ#_xD?*<4끺hO/T,>9śf@ {sK|d|IH (o{xzV$Ms)iDݒNd*59J\޲h [7do-_̬cjEnR$D: <ȲrYN]MD{Ujڵ7 YC&鸌|V;11fk XeT>7l #0ʿNڿHb`:ƫOl0y^eIf- 7l;K3 lwmZF㜰"[ g{ 4 ˲T-Ԍd^+=q|LǦ$j='јnQWrAYmYk3y׃m6~mMyϱgYZ903863db6112fe3207287c981b8b109220e5d59682ea62db878002abe1f561b243b2cfa9fc6980161e7bb8d896755bbb779450a1105f0ed37cd956d6  ZF