SQLite format 3@ - llB77#tableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "ml_statistics" BLOB, "task_statistics" 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, m/ Rep_Fin_Groups:threads=2elapsed=112.657cpu=186.392gc=5.784factor=1.657zXZִF! !]ŗXf1-q恈͐7ӺV lt>;ecm| 7;)h I6\LFAULxTK2onWF'0| "2*&U)iWo{-g`/H(A>-CLimt DzpkmpAJFTl~D`X#boy-G%@b:{޺ @AX~xvSOr+gf  )p|6bֶ.U D*C@*r»V90WjrE9Z9C,CIx \W/(+axW]GW<4 ˱8s }T (XՙkZ$W{xzh !1zz %*hA8.$z)M0*뇧!@>361-FaHᧂewNHF[ŚI`٦\x$V4-펫;Zۗ -*=#^3"co|)2g% ٢ty:؝ZMlOk ~R|~ 0]NQ0ea7(4H.6ELBsNvz4=@)YGqLt%89o*bXF,|ؾZ>[R=My^]l>\n)9wb0,ЫYFV{=šئO,[ϰԥD|YS(&K51@b3%ϐ:yMa`.Q`r#Ӊ)ʋ1 ~O«?9R[ 6r{42 7 6Y"vQunfJT^͌sQ_{Sve1._Imh4%fdqE߶|U 4EvYj7Y5]&nuw>yU: 堌OO4t:1o-m5o}~7Lcy݋[DH5gw>pIV0I^KY]#IY`88Xh,XӝF&_CT}id<<_s0_mnsnn&.|Ji H %9%&zTx"n] TLa \8j:[]M oW8dkPVj1ܓp*}riURp@]<: Ha#A= &`/r+RHX_ysJE tV ciEbEz,3J[I#w@oEWQ^ޗ~fK}~4:C6Gjjl c{P$,@](XJԧx X[ =T 9pUƙAUŜ]2S(aWFyͻK"yө>ꭆ 04%:Xo&)>K.> W#?L\QP&ՐZ۩KdUīp)QD$L*Jr8w3Y1ԅb}iu"e7Ύ@}+LOo-:HTI7 "fM i;UHD]?HDR{0xۯY8 NhtXxBVx!wG!EIߐ.86/D]/oH&Ӻ)͆/vlTŒ.H_7C@]H&XVܰ*6t4q%))?et/`bwkOKݥ- g]X N&pcJ 5!2O EF: v?'Z=6Q.(rS }D 99v:d\5םkKsUQ{4|68̹爑XD38p ezNtORҶ>":V`9EPjyг<yxpIXd@ f2D ɹ챵,~{iփ&/gDѸw`svMnyRХ 7E8Na"_{R&Kf԰3 Cz%X*$~d,r%5f. } %!=@ j6ԥШ9[aP$~,EUN\igrɽ8jEN kZ8S>#64큒kҥh̃voVGL xO:(Naȯ߱3^bT%ϸodQ=(T4Vϙg{ ]ZXƺ54E :CE mrm"ewGzC߸7a 3`e& :2B6E3epz}dM!R\I"@,EOWÁ\Y퉸Q< !5þkW^@b P* TCI280b-~wtJY 7N; '*<2 ݿ(^b0J =CB'2vڈ1G8OYI~(be={`fB~;J,1ωҶ3 Pg9_ꙝ&z->VȄVr=:sÆVtjN^хڷ_^ Rcce JjSz`1I# @Paޯ#yǥmKc*EsTErwzzS$kK2\G2晴8ǜwvǧ2jr):*ž#xqQX]fF@X就|)j=C?pQRAE?H9lsql[ӧCj'@"e6B?Wgb[r3؜Ar24ٕoذ2mt)/@ ZJp(oejsU0ze~c_D0 Txݺo"a1|# 0~1!OG{H Dp&G'7'z}ǏlɼoѸC$,@vfeqүs*m* &uq9WuNFL RIlxRʗX:,ٕqFAVr[F^wHi3aW}òϖ+/%4F=M^ C6!p-^K,ĊBnoW?.puY%I%gƾmV3ւO@_6+]zA1Ig ^xX= P9TLMg+q;$zD !lo82jzAxM.L3@b¢=oKgQ  yk[`w ؏8 ݑW.li Fc%`V#ÓvO˰[6!!n, 7zzt`)fZ07\ezh0,!BSnWD$n}+`|X*J/;QY;M{XHw)wu5"0U FQ<1:qQ?P>w{ scHdW(존SIAmFb=[7_\Sj|H( @X"p[/“.R:3 +CLj )TZm]FUㆊJg\î&g9 C7T3bnc>c,qwpS(\I$r)] !.5ꬤE)u9]Gm5]g#&@ zrl؄c0U{$&{ xE0^p#n](0[x\߹u`is-&:\h8/vbre~B(b?LZ쌉k"J"-d.Ǽ[ZU_^C/{l[Si9b)ʙ'&$MjkxN 0{fضWV8n#;LlM"7aAÄ%:yS!Fn[B:jB~?iBPOx "n4CmgYZ7zXZִF! N]ŗXi% -ؾ-h;DU}[^!j}˾އʚ'Xa%{D4L͗ ԃ \|d)/a!^ti*W|bO1im :'b q(*'BBOGX:F~>1.s_+#"6n6c32$`+]HUKJuѦӌ{J`S]ڤ>% 4wV4hGK'@'$e~=^q:Py ӽ..SUp}^w=K)KHsqC'0=|Ak+û^ۥ%{qHexDt¥LK|huN O툂IWߚiAá6IJjES a>Y`_kWLWc@JI{~Nyk uͯBǬ.'lofXæ_>xDL9࿺>DE'ƵDU1l{a{ M@6 d2 ~)IiըR4wqVS;\(Xh0d~{$-sqcy N!.*m]B)VU' !MU׀Ơiu}w *Yd0Pd]~% 4}3CǼQk ֶo}ZZ \:֬#*GP 38 'ʥp˟*RnЉ/{ ŗ^?!F*f~lL-@V؅d)WwNIxlîA\xq2{=\JVcCr0%>6lOzR/^vkigq;TIri5I$ex6yGL{iܲ("RDJ{h,F!񏷿z#| {fy)~.𾆅oe,2[+Sp@vY#}+BM 5Q2Bp9&@ļ+:E=0#si0XңGm{$Kt{omkH}Y:"b!*ydݝ 1n7#rJ\,VGN8!) '.aue:|pLE|:&:&Q"-{k}}z I ·F; XUmuތXA|"(|8Fo] D[iQ,Pn5&8)ޏ0l e(pI;x L͘P+DfKXЁN_X=#R܋#cm^Gj, _HN, ܟU:x_E w^mwQE;x$UY[vvt"UH}ϯdVl T/1e4t1k֘]spWTpal/"_]l P/mx°ԉ+#:vcW,,;P%zb e;X wi]߁jTҼBYh!n/:,xf̟ľBȍqEhM|QafCt|t ) r9]/M +"8‚|Sˢé"Ҳy>&O"^:7oFDiu0]H^x͙ϟx1VBs(X[)a>R_P6dII!E>/ˮie(1<:l_:A-K)zP4$NQ/C.LqHʑ,(?W?O!^romr ~zՖwCԉJLQ 9eW92䤹tw M "U]moh-_ ձw?!K =!y/AZ/7K( 5|P4қ ?s=˪L݌Ȉ=-#e4nN=٘ X[\0Hvhr@P\ =PtZ5??]YexXA> Tm~6gb8OcqA~7ɛhMkBeHELWMTIUJ8Ǣ6gў.|0LdQO̔35p5d"xARAITz Ƭ[tÍiDn HY i8ꢨ#M:xe e|pz ]f)y~/^hu*謝BB VM'W Ӽ×uMQGQzm/9s/{Zv[W!3w:^2Ɉ{L$Tc3pi46u0"04@ %zOTygӲgD^â(\EKJ^b,VfKn F瑲wožo7ī$rng+3 NzvNT͚@XtrySƟ}oBҁ"Y[i_.:&Zٛ6d>&|^RO햐bM2?rtƾ=2 pNj$Z@ɉ90PggzaNs6{F5.!86nk $R&l7~*Ik~v}Ԉ`Sɴ$ؼN@T{ǚT<Z}"XGq$Jyn.S d14!*.<ɫugȽQ~&YӀ$^5k*r#-].zv*$.y4&>~51MpQv!˩|g. $j5?`+,Y"cP̓;6mW`^?~ z-:5DZ >d| G@?'C_yW 1 ?S3B;mTFo\v͎xU788|Cod=ыֆ *;0 یg8{_;.-{ńYK&tg%a7@"@*iu~'YX^໑$ =f0*=D Ԍ¤^[':S{L(Yk138xؗlmXZ!|tL;7gzrU-ڒbX?/Faw:WFO]FX u* ʲUM" W^<GA:H7ЛBd Ac|M-1D%Ilsg_zfA!;ckhr|s'248{D;n:fZq,@^125w bU%VM2$s 1<3O.^hɻhے}i7J;:4p/8s<"E+erU;t,^rSu.S9QÌCFi9鈯V.CB nI$GDARFAyCѐU};]6weM2u qڻ~ŀuҝEIxlfm j,?cK }ӗD^o/A{R3[6I. &V_ΟcRX]{M:W@\I:q{т[ʧ2z"iPji8"[a a֛% \%j풐gb9Gt1Y{-z7f*#`FO|Plv$(G0yl: b= @ +@"qE]T ŧZ1_8:YDN[xazT,8<_: y, ~*~bFKo_y=1w\]<6X\2.w?y_[G /VO,NdDO5)T'JT ] c,*)vCv#5sbK,L Q@©`:fe}Yvpu};/Nh9>eJHMȬ![k (d^W=LvtRp3ƟqS Y\4V劙0fyhn!76C"ﮡK USEٯC覓jk~"p/=ڴ?Bo^1WEq Օ"3S3Dѷ?]GM\dHiN0CbV:_|NDQf-rQ0u-Ma !bP0pLߥg;UAva1$ !ZÔc rNR ?%b/[w!xQdfLM]̮j*6esPec1y(kR@,r3D!o2C0qujn)FNbrl,82h41Tf<=ewvG Vup'NhizTgBbbsШfڑÞr9u %-w`΃?4ܦx'"QMXu//Lű#@T`jՅ<T=R?UCkIG~ٝVZ_$"ƚc5mtzQ&ch! ga N'z $域 u} 6k<>.\N+M)b6!s4?HW S SM'X+;@ F(i<'"̘CJ`jt~z]Xjs8 pm+ ,ooYl3_vD\IDJl ΍SERRこ