SQLite format 3@ .;  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 c L|| ]/ DiskPaxos:threads=4elapsed=26.613cpu=95.184gc=0.988factor=3.587zXZִF! ,` ]ŗXf[&^q)鰧vygD^g-VL,>y+@anI$/,oJ'la?2h%B̖ا4d2fu{0O@'u@_RԤ VDzCStHF ş3M{iX" eɺ[.$2^]~?OM ̽YhfM;H>w7 E};fqncU>xW 'ǻ|I aܳ2 TP>GP';urꬆ…$;m'WUfى#s%u5ƣi\u iV   DiskPaxos  _"8͑~yq1F+d}dq"u7$T(tc+HYT޻͒} Os%{4e6%7ۦr _ܶPQ?:IZ:a;[:ՑJ@7 Jϋ&o7W7mrwv E 'Lʩ_NsMr}vR:^ccr0$GWc?2:"@*\x -Oh/eNCzA 5s1hARuE]yܠ4ڄ'ʼSZUwk EǚO {vR-&gS~1Y>hSaS*e&Oe rovK?d[}F-B!Z.?gE鴢py 9PX 6MaMd{Ne Kقi=^W~Dѝ7+eWceZ"ockE*D s4ڧ|XCf:;aOo;P*;pÚ6"^5򏚢DO:67hV.6ϖ]?!-DD,D̸OJmO\r-ϰ<2R#zZ։xS4$n@74Msq)UQzJ$';Ġq 7^8&S x7v逗Wb\#kPuܑ m5qA[S4uz:}q?SW5BGo*U99ewz)V .g?7a~caL^;hP0xN!搣Cj!__*AjﶰV77=cQaxU<2i$u^Ss|A/4X'NM~_5[WvL:b_~%WyjHᦽ {1v]( fatkk"~Choit%wSZs6X +9Q>x=Cno"AU,g?aYˬ H5tZn6#zIu.klς}HµL{9aw>]--sU܈\VT>:A?йГ _WF\D+ѯ^1C jLR~*y4q%E TT6T^;8zG qb2I,e<#WݮA\)~|?v=3Ag0lxaqy6JgX%DG9>qVemfzVWzBX`PGZ[#d.(fY-oký_dM$x˰<ᢙ nrzs;#ZKM<2Yv3ȫ]_<\א u>çRltd2bKe^pއ$DߊMظc$0nox\J:x/OF ; ɝ'zvZ)EM㞖} w0L%Є!Nǘu9oPd O$5dtRsI4 rEcU({s>m-hdxLlr3kj=6~EJMh ⨭ˆpqc}' (4aBO9D\RɧT$W+@w(@sw6??G>K!D-КG麆ktf-V[ "/1@>p˶~s7~HqS$Ii:K+. *g~(I3,C8@f~/d71Gⷃ=*Z}#r3.3"0loѻZE & Ra,{_@{$9ygYZ91067ecc742475bdbb2e3c412373bcccce7d305ad3f90704504dab3f9fc94e3d143d1180eb260c4a f6ffa714dac548bd1fa745e8527624877a3ec1f3