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 R T4 ]/ Heard_Of:threads=2elapsed=39.184cpu=64.840gc=2.484factor=1.657zXZִF! !]ŗXf1-/6vRZjVJ25Ijq mʃ'{sk:W С߉*<nhz~,:Yqe( i=4dz@vA:b 3=D~[SoSRYȝt IC,<,@ **]s'*-řv_әQ.>}柧 es3bCmFOӂF;*F_ nfcd+ɏa BWw뎋Iq'mug&*b#ܯE63bxTh#9Q<'G8#/_Ϥ֙#JP%Vr3lbZg Lw9o3q Pku11t롂ڠ#S>d= J&GW I7^QT=(AKt`}uzv{.7CGHgYZ7zXZִF! ]ŗXiɟ1˦r.Hil c`1X14)O|SQKSUY%ȞC󙓡6B 3EQ":^M U>#9z$4; U#N^{~[RkPJo@=09*DI}1!):^ۣkqI*2;'wl.7 ߿5ڗ06 5rZ8."oeQz9 C Ž/*%fa Qn)v-O 賨o|.mWc%Z5N 8PC f g_}̿J;ĕJZi ]hq6n cԖaoޖы罺ԓl_K ygYZ7zXZִF! S]ŗXi%>g̭`eR.֞'63]G *`0A-$| C\L-4)bB }ו9MQLkMt!%oRv;YttƂǰj]].cmU:q?GQaI(6i0$YˀXPˈK7#`678!up+`锯2 kȢnTu9hRl@?Tmv vOy1sį`EGp;VXR$L[ #5zb(yS92?Zs̮>XLdz ̎W b<`&7.BbL| *0L )kYuXĚ; iђGiS O8=-εvPzg8.壇:wWeΧɢĂ;dsp8Y$ˡwƫ,;b{9nGh y1 :AuN<,{u!W <3=&t$T3Tf̽FRv3&Ov~ap,ǻ1(V/b=$NqLiǍB}|gWj y s^0Ky0MiaGFMG PnOlpvpdot{KL ,X/OcEm'¬jc/s 3 vʀ&"`~}(x{1V,l)i;P)7HrP#~LxdO2,Mq FU5J]@e+ zCaxw7#q Rv]ѿ-v4 т^0SDU(W_>vsU-lF% 2*:{k0>Oj5(VS6 /eU9[ $1T\KWҮ7LUY j'6kc!RI}bUqSA\rO5(vcJ ^1 o 129*DU%UI+٬W h. 5d3z6b RK9 qs<)d uL8#+p gOٲ|AnoŌSVɎ-v4c2[zߡRKyFٌ_I. t& hzn-Y@' $[}#S0ga>ﯧgR(|^" kVLW3hѿ0 .'No(yw[ε9nԋzO?͸a ۫#^pqϦ Nɝn` c܀:kUyD_6IQa\ )e3T.,&/+_Oh߸ ̓h5QV&ls!kK2¢\䎮^C,QG~:!5-;xEI^02pסYJph 68"fD1>' O ;NMdC .lqM [B3&SJ ?%"$,KGwGXrY8:b נOi|r|i>!W"-TiRYdfݸEtN,)cZ p&n1y:_]}w=3V5O'.1*NƎQ]76zp%)d(rԐyY5ianjRϣLu1jcEtǏ7ȯnַ=Yv=MojWe}f-{ZuU ]Nk:DZ@uѲyR5fw]V;@9ӫ\uV߄? =!EY9L# lHl&&q{Sri&n˝}??..}" tb ^DZ8CE-CZ-@/%U7N du`PJbo係U: $ *O$t @ T tzcU W{=fڒeDYMy.УƜy [ꜘ{D)JİN}Ko .Ǡud촧0[W D.Y\. G%#@W潚.#bp"ڪHi+GaZ~q.ݟXirI{=("]udPN ц$D4ρ|@^4ϳ6; 9Jv4Ub4LTrjti{(:3@OZ1psC|U5~qX5Y!975dJqgYZ7818760ace08a320869c5d0b0686a7f56b8c99baa70f3b1dab78f27422c2c199c67ce3165c51f78c b7ea345064e6ade7544c71fbd991740359381db8