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 33J- l ]/ ZF-Constructible:threads=2elapsed=16.925cpu=31.816gc=5.596factor=1.887zXZִF! "]ŗXf1-W5"~ H:Fi{3g] U_ 1T44}ύ3A م0,fk2$7r Kë>KaآӝʮvO~]|l{A"΂HHYiba\^>7ԄO8K]j_=aT"_f6je^3sr۸+c-̨ABf&biӝzVoE)[Jօ۠Q\"1u7Fc;#k-.c 6π a3ËI6dvQV]|.wٛG_#3gAKrS;O G{dO2X`uS?:R36B2#ڪVq|\&? gc62ᨻ"y5t :Me Z@C0`<:ёOmgCe#cq)m7NSok$>;x %_NiϚe`~<1Cṱ ϒ+XA}b]CeMUS/st0՚ 1m=䥽R%m V pl<|Wٺ}"M! Kk,gYZ7zXZִF! a]ŗXi%>qTB wyuV:D?ao\ÿζO dP4۲i&@B>H)whQcj)b$$x8?-'%gY TWX<11(CW6/WuG~q UgJߥ:@I^wU/RJo~HYF_A]ښr\fͫXr-@*i 'H bli&N.xi&{G:g\ƈ/:gV$\/ԯ0-X<^BfP}hRI|2dləP|xHOҧv̷j?yR3*LҀqʿҶkg;RX|K]OJ.N\ %ҁ)<;y3E=q-Cδ[[V7W2L"asvNy,7XΪgĥSum'>rba0a{0?} ,#$}ጤ\9u2V:m g48H+ߝB"F+'mEW_&eN SivCm=`$8)6Ҏ6Z9X 4K;QzϝGBM35r:nYO򮝝Z(sL}߹L @/Δ(ŕ$1wapa[2X*&5ǐ(CAK%r(^D$3{=Ɲ+84E,zHRZ+Z+Iq9`sȘ\*uAε"j=V̧%׮ et[{ir|4LEu6ve!{uG9(EV$-Yzjk 󡡬)Eh'F+:o1$lfמ^Xfb#h1 ۷E?;n[5n %Tkse˳GymuWR|4-ͬ LK^S