SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "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 / T< ]/ Consensus_Refined:threads=8elapsed=11.739cpu=90.920gc=4.393factor=7.757zXZִF! =]ŗXf[&+mDMLs0r'-5kj>埴^6+DB$kpMM94QKځ2C ~p5jk {Lrפ+rDLaDSnqSt%FKalCQ#09/A~Bg쬯w c|sm B .qb&Q{kNP D&ZIGCǦ.X]-3ypac Z׌~ַ mAD?:~J/5C࿅7laXP{y  NL+m}>B epZ / Consensus_Refined  w|/od' fmEәHjVG{)m,D䰢:nV+ TFwTkS&˞^{gYvU\~#|P \0,Ṫyؓ?% #P_=)hEƝD`dz ? ٵcc1$Z҄ r&vRg)5XAخ(~=MqN߬Wx*m0FsϪ4bȅY5VJ{; E`7HNeSo_W5=mUp(,O, g1h I; ØяW]֘|ÔԈ}R(ѥioG2 .VoTnG-k`a2c-?] vw4=tnvͩC g'hpѻL u eg:6Q^U"]\;v{k:eqt\Ov֒uA[ Ԣ{Qr*ϱDo=)OU'|Es6 yxy71_eIRЉqeiW_Iҧj|DZ[lTrXy` m>i4"]uLïR5)u+E `% 3 |t aU=~ !׶ ~@#D5i$uQ|ZUG+јT#\,_HEJHD?gaJ= bG裷흂O}u͹f5F {b.e3zwz 0唩>F(%uf^"HjC~ք^zKG`U*{ ?Wm {3r[PEN rO9HLx ՂeiG+O 1=Rb@ww&Z'O_]; 'Az9NMܠ/')Eg7*#@Yoί9q㷳k\H^&X ,-&`Cm ;>.`#ۡ_p&H]joC9"HkqHI}kX6-2yxi^1-]z0W}YDh4f+%]k L ֚'H@`F:ETX {FgYZ7zXZִF! 9]ŗXiɟy)BcTH/n Oxsf1_c2UoGXgMw%HZ.!8]զE_S8 G>뢲P-5[hqAu(`w.0{>FzKf)çd-*oPe[5a/ЈȱlpFb":ObnM(ӄ_Ѓqhg7Kw;[p[N7;Hz(!iF|(ցaiy~t"*FZ 'b;ú_y`uӈv o[80jCnɪ<_aE!^t{4?4B5XR!kB-;qP5V̄pel07v\Qu@xTv[f.{-;A:YSōXn' p#w;Ӭ.#5Xƴܣ) cw"`:@yɍ)XyTt aaH=9'Y(``v8ESpOJ`d7-wCCC<YA@1Rg Me#96w.R/_̢u~NUgqfI*e|jɛP lr&] #U(Jhr N)aL4r _m UgFFM-RSڇyWzWުX&cx'd<BOgFb>aVEB[Hj=?I30KIN ௝SqL8 32XFh`+vpIp@WVR#bm؈R~紟aD)Q.g,++ ʕt #mrXa-3l@Z;l1˺6>sYk?H,{"0&+Anf01:9$|M+EGA@C9!ؿ<4e{7{9_Fq,˨u?'6!T]%AIn^lW~XjKfkp֬:CCYmHW~ˣCڀߏ+sdᄻ%p><oѾi4u#x mhD_W 7o#m[ o 2hY6' c WN5rR6gXKtd#M =n,.EOY {r._OkqOV)BzuԲ3w 1ܠVQ4SLb7QJZzM *Y.S]3At݂{nAthYfR,d!Oo0[>#H=I)gt1.o|sمO}}\a@?ͪ/X*OK w/Bާ0ѶڡLvЎ}g.J^vffQ4W{CmzXoz-r%Ař@mZr8}Kh$i$ IsceBFjR-}(0@uɍ ӣoPHa OVԳi#&ƴU=˭