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  Y Y# d | ]%]UTP-Toolkit:threads=4elapsed=24.470cpu=90.092gc=2.440factor=3.687zXZִF! ,i]ŗXf[&]-~LöM=C~cíꘇM-Y{ϋCg% ~8Ѥ+\HzcG*Dr$k_ e > > CN7<.i"+ٵՉ ڇh;CT&hԿz{EYJa3ĊF?5"V4g~Cc^ʦ6_ɪHyùt+9^ װ'u\pߠ2\B^ h͠BWl6<(iuBŌ 0[}CahK|]?O0jY)}QIe˳`zb` UG^|; ]ڐ]:K{{9 1UeѮ)@~_#^Ns0j Hv&ёNKs7&;!sj@*2ZX]6>D^zzMl~pKچh z<9Bi˝-t}}*J}]$mQ<+!XqZtzi"w$YSj >7?TyO;Y\!^wB'gH&0tK. v%\]LR'%a1r%?D:,=C{i+AEM )gzHuac5__7:C Mra܎V}UOFϭ.OP֨X&OӃ;x{PgfHwHEmEUrWGҊ.=2V;Z .7mĶKrS<"u:`_.lHo+zݮA' +/W֯v.p4ݒ_ā ɚb ygYZ7zXZִF! ࢠ 7]ŗXi%L R lz1YUY˺n^d2=`'vD)}7^,fXPPd0PZkbDN}'F"Lu͊O9ȼֿN$"HYG Wh1=I)1ݩc8V >m*5t7T#JK˓mL0<(sÿ;@oTn8(Uq 'kEI ~_BkL+XQx' un4cLAIfThuG|mߔJSxQPۭu|SBBKQNێkQgR|PA*+4POBiZaXogxûIv=lI5pZ;<ދO?Mn~-36SAG'ZA˽ug{*3!EI# v!/xWi1%Diydޞj[!%}W6 ^rk޹ 34D?LL]4QW ^R$ym|wԩ=yӶPCk1|̞BU2Z[Ų9Έ?CA$_ v4by#/-G`a 2IXr8ȽQʪ@dBެ,t673Lm"g\D dN'eO~,RO[E"ƫ;:i0pINt);nsccX\f9 ߖTfxI:r累+M*?V1.SalBN:4!s[]LI<T~gkz[Hͥѫ*!}N-QYx/- Oiƍʄe~Uiڸv݁[͍&teN #en񼘲`y͐p,s@?j9otc(١{Ю[Fj?LmYgJi a.5N7 I`IAY6Q,.I>9NДNp42ۮiΊ4\s]xNx۔`u=t\- 3ȣ4RT:j@8q77T cL:TVNӠxɃbW)r AnΜkTnUO iv:S[44?%&?>1Lnەiaf VB<ob>]%3W8Te6iDŽ-6:ҸvRH%8oJTx&O[F@ć̠"A8IFVN&bAEp S54vʆ.XhKFMN*6ok/#&Q煵ᱭ|V#Ê!8:McxT&xVK4$ *~>MhrgԸMlUJ=µG"АAD-"7 knwrۉp[{'O:nŧh*5meZ,&4i?$O T]y6'*ql$G.C:1C7xY%045_7_i̴tF%&)Xp%Dp`~H 7Lܗ`ݪ/ȋ䍶fʓ4f,]b>+FGKcrGLج璙6 M`C g8X;i_.,@`a$7ֽ;!Q2mU~M.%=1jn}?>M>RH+"`M xH0c8SWu@%mun+0$HPh8%bJV}&rmiMJ>jАr1ے Xi%7mLJ~Y.0g=cn%q^cS;?^[By"M#ʁ*!ɮ]Hv;.-fMP/(vI*vr_hv. q;~`q?PU|] QN=,54 TAқ9𼑘Z8[/ q 6_Vݓ..`3'=nzG$NA=\.[a=a=疃WgYZfd3aa98c235d084e476052ee1988ac6295d5a61bd3f90704504dab3f9fc94e3d143d1180eb260c4a 05a03eacc3059078cac786ce4b0187a596b54f20 5259e2dea2674c3bbd0dff7545ea77936488882c 819ba6acd0b6362f6a13fcc1a3b4fe45a4f4437c b2b885f0dbf561de003595b7b08f3161afca18e154ce4c002d2bc113d39eb300c6219c717ea39b14