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 ^^= tLl ]S]HOL-Nonstandard_Analysis:threads=4elapsed=9.295cpu=28.924gc=0.840factor=3.117zXZִF! ]ŗXf1-q恈1`VnȆf ס@wp  қ@\Y|I ] Ha`cڒ ڦWv:ߌRT7nCo&:D?ڼJr=$U{ceg{EEW;+l~u& 5LK)~ِsdMSl ml%!$.%M.6(p ƀ%7\sǗbO ӸV7(gm)J[*geՑ`oL8f5q}/meMhyIB^ J!vn~2? 3-Z&R yKҥ&"JZ\~&I : < ^EC~lm2rZb^AXzГ:Kj˩sx7{@NUL ;ΨS6ޟȈjkDCzN/fiȉ$YE7F! $P:Dt I+~129b}E" n,X>BvJї T$ A AgYZ7zXZִF! X0]ŗXi%B*R_%a./L+W@"=>(*pecu"al.3؞` 8p譏XfnQ07ޖ;E, SӰ,_--˱3<O10$vNKχ։d+z' 9!Sh|01 wibaF)R[Ra [`c BUl(SCԸV@uc7ap#6(FLUu>V쳴 Ը C -QZ+Y@ԌKj7y9\B'y _bmVBASjTJbJxw^oX.o ux@] Rz'*U &xtxݎ';lK2V(0rV7Iu~ł-O7|ۑ SD⶟v`ȡ%-aaf<xjz,\183e!BcpU&a LIp̭#J`qN-˘G>1EQZRb#9tcłwω6ZH΂ K=\٪$Z+81ɋI],4<[Kˌ@ݦjwwCZOK!eGSHD)>R)0(?|aIs12YDli ]ZL-J9@Js0ߊmm⡡gC뙉{L ~Ioitr˷O*{pa CTPz+jKZoz+-KP_V[qi%}p~5ݫ"Іv2Q&qU؇b=*7oS