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  4+ t ]%]Simple_Firewall:threads=4elapsed=25.516cpu=85.324gc=3.972factor=3.347zXZִF! =]ŗXf[&Q̪"AxO!\>T +sM3٣1&] :&!c J^[qw[a9]BKE#\IuYV!%Ƿ.~}|Yrwg -Jg\"ŀEޱ~p~p4Jai#dkA1ܯٗn~XV FLsв#bNspzY**AE>-עE6T$~v9q)ݓ}`xqwL0-&%~D\۴lDv!{;QdaOFq.leS;L±KB djƢ^`Ni1]_Ub*8OSt;Ϧ v~"--Г;shtx}@e*"I IWa~Loz5ԛ`lMpIW# -3i5bQa*YFX!/{aWdcڲAj$G{aĵ [n>Q0 qq){ 7Ad`Ѿ&fZ~Y-BFs,pV|p ZY2^`dD3iϺ"n ըjI<)%Zk;xr #{rl[+g{[ 'k%VXkl>r/-r|NOUjZl1XJLTl#q/NuUjur9*N14v{9)t;5qI"XޗYb|}b ByGjB- ?څ q:!斗$`P1JUz i(C/8" aOSLM p<6UD5`Pd;58oB1ڕER[T.^B#ǪB|j C kX_nFk'Iu'}=Ƹw#ɠw:^@^(=5mV,Qfpn͖]ih;2Z۸G0+q=BɍXZCsu@u2հ@ "V3IHGb[E]۬LaBv$+ Zw[IJa: + Simple_Firewall  ӽ4s;#'}bCU;J_V^"Jd1s" L"cP2C+ 9$)wB:z4=֝*aޫ}'6{<}$`YJT9ڇ ]IFFրC,@hc3YFmU6//Ir Qz"L.HT7p/-qI7&5 7Ǯ!ú9v⁏ccl#U_Ob|C##b+_m\mԏ/'ݸb%kXW#&7%\= {P=gYZ7zXZִF! ]ŗXiɟ1˦r 5IfK",t2rxۈ[2z `F2Lƪvt(6J,֑ XhnW~TipUI<nYe|LxE:綇 z!<xB6ŗZ~X&?1Z{ Lӗszq] U6O7̧c36#A5ӝn s}' 3# G^ʀ n|_E#Ti 1yFxZt UsF#khqi[e1 <}/.7eWѽ+\iUF};vUXne_jS EHY~e87di3Vw;\ A>B^ QxgYZ7zXZִF! ;]ŗXi%L I {>oo"$p!4:* i*]r)+l4uU="8-][sG.''=$c swu%ZLHN袩؁S.'^. 8U+tLŒ/lA gxb(D{h3Tf Fqb hIa^q1[K7wDn7N)=prS,]=CjW2Qƭ2WNpn2ʼN(lеݰV_=gwe}e{3 CJ}[INvcag2b xdV%8ڹ*B4YyMUn Az0MwYEv\< a6;V'̱1"|Q_ 1͍๭m(9Ӧe'pHύ hz!S.=,v#v1LU@KqQD=]᧘0#hUUP?ɵV)> 2 cU q ;Fb{*J| HmX 2tϝþo~ Is]*.a%J_o#ZO1Rf-޷ccus7WSW4֍k*򾔿%Lzwp-ViD|AJ6BqrW9|1)85myF_KCtҬ-|q{ߵ "_ ?u: EJңc֎ NP9giͻ% uWꇘ0iKkU0|逨~"VA? 2&A2_` L[^! eycDw7(itְϧdWiL1H2$>g㟔L>3ѫP46 S>C0hwl6JBêNҬ i-FlAsq$S.Xab xKMGVaj<-xB^בҰwbB؝ TrnLPߖ~b }{`"-9 x 0CpYj'}f q,I|m-䶕Nv*^e8Oj)Imh)InpOG7c 3U "sRCT0Gz)db`v 4@ tџB ɽ^,nwE ݢy*%!}?1%4^|0)MamQ~Cd#cϦ`hTv 3 CgYZ1edffd036955b95e7199d1e794ac5e0d1197e811d3f90704504dab3f9fc94e3d143d1180eb260c4a 05a03eacc3059078cac786ce4b0187a596b54f20 0b9c642baf939d258dfd45d0549daedc3df6d63e ba677f558b5bb344040d5beea5183646bb4f4259 09e8dc3bc7f6f3f71e5292cb5caebcfed08607b6a64ca9cb41eeca3aa0f285abab626bc1f99d69e3