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 #1 lD ]/ Concurrent_Ref_Alg:threads=4elapsed=6.117cpu=18.988gc=0.404factor=3.107zXZִF! ]ŗXf[&"wxmsɮ@wy "ȗ9 Ay_kC&G|/l۶UtCWy-Z3S Ii:'ҧpq_Ձ%Ir kWEG&ס@`aW%Ngc{ٻBkRX*Ms <F=q=(*%r7h`z"H嫀#6s6sؘ7Xv77R"8٠cpn,v9ּ\ ˪,a{֊0)zuۺ/Aب xD)K@ԾMmdvFb_ В0g;{N ]ed aŬtf}#AO*+Xq<,Ȣ[gYZ7zXZִF! ]ŗXiɟ1˦r pt#M&")ohEduVs">Z&a~wS&w52oF);Š1ΉqkpL#<Hy+Aƭgĝ֖xok!QJ1hzjW,} ȭ+38@w8o, 6EV- )Q>.QgYZ7zXZִF! :J]ŗXi%B !Bȗ9oCg y{oHˤu|^\2=6~q勈t惍!ˡ#'i?Ozꘇ m[qb?'0D#vH %V "<~Ӳ8 w8Iv8PZ9MS5c(?j4& S(@D޵RKsyXnJ յC}^FLz*˳g*O60ygjzsI{ ˞ - ݷށݬ&>jLqΟ!a$7%YNJ1-Xi}X;5ߟ;LﭠpEBpbyOx̖Z@ㇳ~RD d^ѫ''Ie7[r[L§vNSυTjZN{J+P3I UR퉼H:-8u\j7Z?/Ñ姆'2֬Vfcm4yk;XcPDtD%LT@Wiojm,޴mX$U2Qk\>8ljWF/e&݅@۴(A*FJ c ms2vtV!sڗyghڐhʆ|zM{|m1vL/  gSyiKmo2E_ۅ{?f+y썿!#koS:ooCeg GnDvF5Pb zAXSuc x s0B{,Mtz7)Du'0paD"~5J.CԟM-Xr@G07bDL[BRLxNQ JyT_#Ag1,@HJwRVp $O|1>x[F]}ECx58lO%dQ NwJKlhx4r_;jU PC98}GAi9(w{BU1h\\jf/x6([}VaޮY:f7}WAd;8֗g7Iջc01l䴔~]\w]cğ#;h^$,@̨+ te±gYZ702c2aa3ca5c70205faa804c06d000e23e9432e3c3b947847b1e58dfe1077ffbed892968d4b16441 badb05b9f5040e431c6534bb870828cec160d71a 1 Concurrent_Ref_Alg