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 b l$d ] KD_Tree:threads=4elapsed=11.946cpu=39.080gc=0.944factor=3.277zXZִF! ]ŗXf[& صfYÙ +7JD9*rgaѡ+Rӝx~b&F@n,̡̼)-h$3`?wVfqO^ i%L?ԏV>`*{JŃnKЌGAsU~US:e6eun*3iм~-qkVZ5u3 2H,wѲ_X6PN3L>meU6n'1 k.}J*yWOuq!xq`XjD1Yc+<= {G%̩3ɣrY2ab*>TMېʣF9P;|2W-hR6gYZ7zXZִF! ]ŗXiɟ o~8=%)∣SPkS&9laV h4`.5w2 ͍0S$[!+|v^nB` :NNʸz bҤSf)AtYpywp6,Wf@:*ױgYZ7zXZִF! Yj]ŗXi%GgӪqo."{3X5pkΐEBzgiԿD3zKhXUU'P)f ݚw+ޛ>lp# ~T/vX,(_"9=D*o'_;qݸ΢/]+\ bM1P7M-LN\G#a9Ͼ{ZI_Ͽ܎?Py~W`631}s% Uʯ'UڱkNl'R#`@n mK45{᭒x%{)bxe%Y e%e)U|-hY!C:_Bya,TFCc:'V* ~$wRddB]tTi)m?Sy H-Ga`l f!q“q~Y4 meQ=1 ?˘]GQv_rf  MݯXDo̬Թ 1 ktUsxbƊd&0A 3eEaZyFY܀I_制bug팚B j"!>W׀2?$ͫrS#pk̛dM ց3>ԑ#-4pIWڅ!߈7]'N}Q`L~paO4脒g>'r/ p;C_oz#2cy*]p~XN(Gǯ&>IFO\"ï1*j?t fZ5=Mg,y+b# ~4S}aWȖ)};f NjoI(SNb9 9wD$aHo/rBQ9?;4@{U+;mVtBFHڜk$ݔ9&z]x>=YE;&kVi8,&7ִE='sTGf0ȉisdNSJBjATz&ΉSGZ\ VD&f pDTO! z@wo-6``: #+B<o OoDm7=IIZM|ļacaNkiYTMABL? 5TՏ(@֔XP}9Gב 37n9*-&$6`!-mJb(.7cvW+H Q$pqfpҏQYKda iBC=sofU&, i >inO*Ut,:d(@\zo4,$i:2ej(d-ۨhu9jbyCzNf_*o(&%Ta=wR0Tʟ ߤ:H2<[sw1Z 0M9 %z gYZe48e981bb139d808136e871530900b3252a704e21795f3a7abed9fc1d9546e3552e224994a90ba84 4907e731bc16daddc205b6b11f8b89eb33f47f6b 60bd950d8569f6ac2065e4a2c0c77487e767ceaf   KD_Tree