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 $G \D, ] Kuratowski_Closure_Complement:threads=4elapsed=18.364cpu=60.528gc=1.200factor=3.307zXZִF! &]ŗXf[&ET{!Xn(VWC-p[=t$:ݿ)ўէ,MZw-{…u"'!qm 0pl&^31p{٧)SVVS=8}2i5ãל[ g^)*"cfSuK/OU{+w1TxT4XpoΧ㕊{[[eG ȃ[}1N1r9hcZ.A mnl`#3(Iec`Cxt C۞RdU_676yeN@XK[~!aHaW"Ç,X+gYZ7zXZִF! u^]ŗXiɟM;7aތ0y+,71I-G@mݘiV [/_^yX)p4Dvtf8Ie8!zv^0L}YZ7zXZִF! ]ŗXi%Bm x?w#nRENX KT3hnvW\h{!YmmR-bN)7%L`spρݚq )Ez#ԏҥ^5(tW )_&??*ZD0GдπL _PtkCjUp[vos~I=QYZ~7?6 ]e [û!3qx 'o)6{.1e9FHw~K'7&-Zog^(ȧ-^XZkX53>? WyjsC,Pat 'HkebpWOR*QқTb$[?> b5(*]u ǽt ;8YJ(ąRG&zZ}"K`5(%u؈MFOut"CyZYfȈ0Oj{C97v]YL$&)z\0ŏ<6cFrq /+$5a#<kˡ%ͲEG -#dW# mjŴݏmʳ2}N1knʞ!2~|h4^7}DdxvmM`} *׉stJ4$[]yd&]ԟ PmaZ zGyO*JaL kTŜWCҰEΘIK +)'r/`*X|xydY߄% D*(Bop wc==F]U߻sp@Hr4P|ӷ֭$]vӻf^HrXwp}>D.錏BvCL'940u1כ7".rd  ӡ^;hU?=d@>&cx$h S&p SjyÉYT[ EfBdT;=Uvx0#nJuoAf+\ujh|W]3-k%cssfgrAGVKn V\zlj:aҸϽ2"+g*eĂ}؟ݬP|ؒn}:l[M鸈$ c}s$alg"C>{ŅŢ)ԥE]=vUUQs;Kif X{fféå[}v%i$:#Ygᆕإ'm:UHJx.rQ)J ]j8-9fI ﷒H6&sb%C C9ˮWZ( g܅p`]`.rQ)yݒ,Hf8##5I2[آ618 9} ;l3Yohɸf%p_-@)˛hb>d>[nՄ&Θ9{M{4²קD&ˢקּFزħ!AϘV%vQyrvz뮚5-[ :uttfutFɬ>-6Nf~]p!,=?