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 ] tt ] IOA:threads=6elapsed=6.991cpu=31.408gc=1.588factor=4.497zXZִF! ]ŗXf1-qN50^Xݾ V'褃)*%\i` ,;K   R]Dz4l=-.O<%ƯNHKvqP@6'=+Μ;|C<حjF9!7N^ 1BvK`>v ϯոCl:4Cv(xB&ب85v|@2KP:.Z*)0 E,Od$"9*!?vs98)oR?ڽ Ui#J3:aC5uWl^.DE Sm[g|Qp'0j]v8{|gyX>zLkQ,]Q_Y!\7Ea6 :H2(^j ,/B!dK-R@^fij%PoY' X3_~{Kb*vb!/Llq!=>zgYZ7zXZִF! `t]ŗXiɟdN'LvH۹C<" !LZōZ Gռ l7²2ߎqHI2(RsXfiywHNNja -ft qJŴ/#se)ݣ |x1PT; Ҩ%~Ua[9pIxbʓe^dLPR- )qDs-ycDĺՐSgb"^5:SXR%Ĺc g u_KÉ ֤fKWl\.[ Dщ~6vaDƦwuG=Sd*nb|%"^"Nqg.5h5_7΢%s CB|!"BɊhBs ,8h?`cPZ(c\RWdR*0ƾCުwd#ŗ 7 * 5@[O̹I:o TdnQ3,.!$RK9L)_" 5qT'%M˴:'ԌgC՜"Gs (8<3 Z9svz0FhwFނd6~脹 ͽU^V1g; Bx>+Nr*vUUlLyRBO l:K Ү} mաߕPxSV1nDΔ?W}xwo?l(ůZzzuV#5](c|wW-;GeMhpgYZ52742bd8749d71f63a4d66c393ae2b072e7d3a6525ff2f0a6ec6649112bb7ba87e4694f74d8fcfd8 4b1bcd999efac6b00836aa12847098a98441fc74 d5b4d4e20bcf93a0aad0fed78988ea1c68a7251d  IOA