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 \\! L  ]/]HOL-Word:threads=6elapsed=9.657cpu=49.972gc=2.600factor=5.177zXZִF! ]ŗXf1-q恈͐7ӺV #^RE=4E< @ jZQ2Cd>:cyҶE=ۨf:HhFw(S*Q ;)ܪLZlLJHkOPoRiٯI$x?apz(V>/L@,]SZխb|@2y}ϻ΃l(\VڭDty,7*~m+k; pd Z1scxH6C4^'t 0r+0H˴nI$ :!447O|.wh~+xCP?J]&$ ULrB$faػGV\oyW1!(G DzP3xi;z2t+C Gᩕ L [wbIYUl$gO 3t [e'h72>LY N;svN"/]@K7AO)ƞܬ{&nZG#؆:F/FTVZz&TR#/)9gYZ7zXZִF! ~]ŗXiɟ1}?3DDCBCmk7bf%_"~~$y#>ݱ,q\e wX~u.s|V_g;: vt^(\"xIbycּgǢU>pS 3i/:?tJWN(1V/~yNX8 aM!0J"s1#|;hгc1wcvSdȸFqʱ&~\ 5-t±fLq|aTUf]ըH߾usZ&W"=[iE'aJg Zr^g;x W?3(yB ;? MxAEO@ioʕ vngYZ7zXZִF! 8E]ŗXi%EZ$W@k2 Bѡ =TQ-O4+ɾ<+-I?9R xCS6Ϡ)! #.r.`G㛀EV'1 KMC8+ <v';%iF%h;|~b4FKJgmI$\[r-'O Y,argY ѝ hХ۵d/l4;xjf7ԓXǂM3QVXϱB¶fn ,ìJY;۱םcJo9"hN9OE2B/Inv(R[׆vz0@)9zIEI>`e MN@/oם?CVKtԖOЍ–oH:VlY^9bq@8-)m{&h2<6'A{'r3 .Bk_޹& Mi*`gxv%-gNKQ rӈ4j-n_I%7x6|)W>7BwĆJ=1Ad=UȯV8BD0az?WH.NZw2h1jc6 H @siA{ jQ G m 7Y*h.)"m$yzW:+7/'܎Dj.&FS3 eIp\J"ֽO/ڋV\OǧG#<&# 9xKZT5 `i<;| kev,o- 'MSPS ,o