SQLite format 3@ . BBh77otableisabelle_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 ] BDD:threads=2elapsed=69.363cpu=128.416gc=2.424factor=1.857zXZִF! @H]ŗXf1-/6vRZj3ZX7f\{4= l딳@-0:%>""3GW'n 5Cͻ4UI^z5 FGt_wdGԳszʲĮLxCFW"GPY+BíN9Jst)Yf?P)LiC ߥg|ģ3 BM0dܓ7})D "[`suF}3QnN-9ᛅٱFI*hT݉CjRwL4vUjγkv6^4/nD~Qk1^2]ZiW[--5*EUUЀE>t;OQ|b_=BwwE0;=lf5P)=G(j_žPFI 6<Ƹ' x#JEn%1c :Po~5dM/Q,м޲seF1(a 2dm#C. +M熔A` 3(6x=jW>[7#K궭C=;?TbSG i'$NFS p¯IGqu7 4^]z.۠iduR 3%Q}{'B/pͧ,5ޑ5dۚ}g @)΄ )9Y1n1ۑ 7b Xic-!2@]Z6cSB˓ƨTn+NíFG,2\Řpc!TUZ] i.rvPHPai4޸ߪ qgU1t'*c|K] bZ϶R DieWAA0kͨ/-·LH7evvòc9<{YKP!!,U+nNAoLU=,$#+m6Zp]=s] ؄q~.Npw97౒u/=(#73%W'wCQW0*-c[ͪ1(+1`VhbhcĆhM7Y;V ҵ/3`<}"pEdRy gaaUkgr pp/[l{^ӓf -@kB{^Z>w! {lnY0@@6>+CP_;jOkнeZwdM?Nj7bD Et+1{{3z9d,)mN%HGijTʒTm$1? xalrՖ̡2-^*_.Rq;:.J^:Hֶ?mwy=ƅXIdySFq>Ueq]XTFM[EinQxe)m: Mvpm"#rSh.ǎ Iv|o=E.}_%7n9χg! xw]}76cvpp$SAk4پ.EzLļ =* k1|c: @~U Bx0ᜮNEYxTfX%N e->1|%lqL{oƊRdL=z#mf)QJJ3PnM[уb*kd}7O#0kc烵)(ȭoT]wfP%KמRDvAպI3 &籺n7+a͛ w^uap/ C g1ELi:6PCnk4b1d :]D=l7$䦙1DLj]35S|"ٗW5ڊW$揜Y1pPrg mY%]'>El0) ?VCG{K)8"teƨK{?c?D5^@R81&ԛI[`y Ǡ|L8yc@\ * k7c`Z_Y9T-gCV}K$ժFE.xpm?g!#1ezB)@s<^M`aZhr7}Ѹ::$yO[R #M-6F.Lyaǿ'\=fԙ:u2lȚ,{KR7`IBޥܘk%$YT{< [7a\9!wfs3ⴲk=3GnuӒp3.iIQ(ՑF 􉳤ѪM#DQ{5! \vQ ;yҙȳG)`LlQNT;w??4cSfK2Kc,nV89NlS)aC%I)񹷴@*mccˣ-P5ߞs͉x˫L,~ج]ܐ+)Jʚ!'Vݼ`q}uoZ{ jCl bbLK*σL-p20|[ӷD<>nP6[HPkxHEdiV%7<ɑ>Kdh -"STIˊ~ᷯ^6tm $!X,g e3`q1R7ju׿!̿S'sVY+f B%07[td\-8GDKP9 }ºDDXiu 1MY,%@b+P v籫)%6JT*6~0u] BSOfL?A@G2h#"ۇu3iF:~BCm&x'ϞS 2Lh4rd˼x M+' Ȕ22fD@GH'Hˇy $3lKZҏհB}-4nFJM 0X?|W64R_.Ҽa2y_Χ^m~ʆ x8^HF*Л{eFS̺nʎ6!ov x5 Saw |)5kWPb l> >O;P1}ဇ9:h1޾5?$4C6"i9;õ [1Yv2~m&'3PA "HhXQ6 oͨ$P^ÔuM#-ENE7#i1Iw%Y5PYgPʩtcڇGFtn4& S<*)wέcUآjE8UWaI^+h7N cm2lrH3{%,dα,GALn,-5>ZZFMTf^VwN}ə~\kSiT@h:R^ۗPWF렏rw]KR RZ0֮M/\yXۊr,x"u)dže̫S1@ZtZw\w?GMJ:`#vB"#SzVW+d:ω`[Q[U 3qI`K fR! '3yyR6#ybx<^e֊MfJ=K3_`jPQߥfAncݔ?0S.,8gOnZS![Ӑk~ c 4J' 3"с:'TC?).ѹ\k>e }OBjmhΕZA%'(57L ;C&Xt՚#T PL u_dcp1o(Y(c!L@n4C$ <ݭhg'/ԟ]bڊ:uBR!~YF<0,]`Z!~-SHu FR'/qc{sôV.a(y$2)nyC`ک>T(χm#8h='\=4&~`!HJ`qn$1 2"RӁEΫe't(-K㝶ngga q.hY'ICWkJ'H$Z‰:ԥ'A+EvG0ߝEI$-Ue !XEn'hAbX” Y|)r/.h(vUPWp;mkgxEjّ`՗Fp[ ,,)ZIUj ԝf ]n`L"=F +7~(/ m,'[b(7]!![u: [0AgXi`~kIRnP[gYZab4051706154c81386b04e3dbb31d11f06c6b6beee3210dd24a02fc2532bf9b24d649a5c6880067f 50500894c9f08017630fd27f91d8231f2cc9f198 b31700728f33451ab0111972f7c60fcaade5d2ed