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  N N/#D4 ]/]HOL-Eisbach:threads=4elapsed=3.880cpu=8.472gc=0.364factor=2.187zXZִF! 5[]ŗXf1-) enȈA"tr-j. ZbNVHFz PB‹(_J}dZR/D{cͿ_ұ)g΂ )f;_y ^j t^ 8(V/!.[p^/ZTO &"^Ц6Ks2̻'w2zp̷CXgZ3JYԽ&>~B_8 B ZwirC( emuRx<mx~Ks->^ph[|&.f*6Ԍ\WhK~ZYg*=gYZ7zXZִF! :]ŗXiɟ1J2oeTʹ̰Ko1eB 1&RHFߺkFssJ?MtfO1 cdrN>=HYx]!l/G`NE.\yNSؤTmAa%,+v^o4}6V (oۓgYZ7zXZִF! ]ŗXi%ES3Hfsq{eCI<3Sc֫}jq*c.hVn 6F^Y %͢ !rb"g\SăG uEvJ#=J㐍:∽WC#!#)6JXG~C_&ӿu^!bȟ0OPnw Aن Pk4WNmht٧^45E}ebMJeh5P"wERf!TD=^R*/`!My"z!jkGX.ӄ7id1[* '#=r(jso p A.bBJ^Ju0| .KZR\z^^CZzZ?@ 0_gBы=j+Jy)#z0ۯ/C`9~FDR}q+!%{cS۩=>ނ jz(A 3 :sw\kkx_9~"~âDSa2ޭұ`?+810r"A"<|gGd0Λ$yΚCY׆ H"ͱ-UfJ&~?F|蒔3֛uFY6ڪqMO譀aO/Xm'OJOmGzp]w)ޒ,'Q`}/5+017gYZa9394edbaae2d8b53911ed46042d1a460108a0de76b019a50eeda51c4b74870607c55fbf00aca327 dd820facb07e73b2c93e51e4d0b3041a08b595685f4910e5d2dfcc7dac88d7066c011c047fda0429 # HOL-Eisbach