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 A)4 SS Rep_Fin_Groups:threads=2elapsed=121.415cpu=165.552gc=4.456factor=1.367zXZִF! G]ŗXf1-/6vR[O\"mӼ$zX6Auv$}#K]$sN噛vWS]B?r=mAhagueqSm^A\&X{=:a=C"|Ӛj#*b+VY%HQ@"F6Rg]3>-8~uyv$QE,?ו<沷vl[`xH1qLǐO_FhK5 IQ1ߋw⡮R']ҩG;\ _;i*A:Ջy}Td%rWc;rn"OkiM>-w+w# 4FlkBIsû(Vm2M&o2m^F##WbZ6\.a5CiCM=.M๊ 2S[9 cf j@wɰzBm)q:&'dcX^yQ)&'zSJ<~>)i$m*+8A.gmٸ?<Q{rh"RI_c{JΧHcj m*Y@,X!6VC=׼W).#FT3 _ZJV4}ϙç|a\`magXq"NX?Ib\aDSb˘=O9fTaoN]4q; @ /Vk%ﱭN'v|ߓAzDj؋;}~ xbA\/n+l7x&`$k3Q@`>:U&I֗HXClk+kj2J;ќqVd !wMi +dRZ崌ifE)ȳ_ W(U恆~hh|B7LmcZMd נHz @!sm61p~ެX#ɼ1!eD>a_xØ6Aey@G?a3*15^hU8|}egM4b)/t1Uιёě,","YU±cb>>Ǭ^w\r?u|!z $IFE#j!d還_JLqb1Gw0,9D=TwN 3EUߕ:ݎT"Z6d?P~}eXϑmmI9\ -n}3ᚔgkpY]2`6F:L2W` ӽG˃/ /R+ W|ډClgDR+^Ob,ېD%#<8ruGS}uPV4E.qxu{HXwdSŢ' bMEsV76F_X#HT2vU͗uǗ 闵F>F :>BzJGWNtAiPPfh#6gVKTrxE^<-5` 5PR.OˮBYGMsS[k:;^nGȷ]O$ܾ b~PhMc@( $Ψ@634 Q+=8,O~yvGoV" DIMg85G^"A"w'b3My=NV }g=b dFhtt5jJ+K|~+%_>SHf?|Ғ-h]XYz&^3zYUh,kw -CymAZը@tjT"G k t$&pOTy c&lN@cAa˻C"ƛjW?1anyf3pt o'bhq gu! {㱮ϕ"G3@tև|}%eB3ep?/D)bKMP(h?vm?nDYoʿIo,ϳ`?t<|]rr (V=A2x/!`߮;%5ↇE:sBr)@Hq M .T=Mp+]L>^W)_G5"ohZ:24 p햐I^%LbMB|b(45T^hg_QFBs!@-5Cץ'w{ RJxV!G(\HMc9OGB{eÝzhwT"h5hRA+46yld0`*olku>5K@:,9(:,IH]{S0sP{)w])Ih|n Nv+75)|!9Ojin ր>T 8)mL&‚HrLJDȤx`4j J.JK@jLo篕ޥi^\])R̶FeD/W/ =,4}$Utthzg5|Bb=s,Yr7Q&k@ x5N_qh0C9пҍ C*Jk ~uPxsp)^Z+M@CBP42T}%C hȐ X t>|et a-q[(pQ5I{b>]Їx4`ltM?/5}i]JAѪElJ#8ZE?rؼEM- hۑ@e#uep(`jJZƤO2gssoV?[ q(>yU` @X0MZedAA@FZ2i9f:P.`D}Ek{]E>t1ˊi[?>2_0?,Hޘ!h,r1yd7E4A̖qCDfadOw!VTo Kl3.0ݞAADR"NK[0gMZfg~? &|ƾ뽟Z]MlR3,c&HJb0¦ǀm*gF V\D%'vOl8Tuπ¾t< nJ c5^}3; GOA. i=y29mG1?Q* o@4v:{?VC7x Pc?!펐D-gFs*"yXi q"W{>:!?Oob DƓE{0eTOҜo#lbo`#eliKõ3jbg7z14W%3 ,{}o4+|S"Ua}v7v(RHȔմ * _nG})V+o:q_PAםBspuq?e_4gmߎ;n&2$CDh<=(m%;5Ͽ"Am~@~g-7pF-'3e&z]碻Bܶ>r8!&=|pD-\<{]\H[hXv^U SLIvtg 쀼I㦢OKbBh^s>vFXu:w#kPp+<(Փɮ+ALws#V"WtwfS78:187BG.:4 +(6~y P:TR9}4yז'A.=DRϸѡL"A|)s%LjZ^ƷH#V)wp0#()J΄WbXjd~]AU8k= X6Rc~&{^V.Lu;3J~1/s=Ϛtc ha*vdV&A` A%bž^}mv?+>ѻRGx,K(L㶇PQ{)`ˁ?- >%豃=u[<@3ka`@j)51ʧ.tz(˸]FOz3.>o١O9A8"bm/4gT¾6j#`ú1J~Ԣq Qء9EֲgYZ7zXZִF! K]ŗXi%QI&bE&/fgȵP$yWnuWzH9|V&qݍ5 Vc)D/f^}܃hX 7ĽE>"1f,=;$wA& L5IY39mao}mGub;D}weA` %ˤS4SEu<[J3Q9~?A"wȲ Asd˪_ԦQ@Y suL~}[;mk2bmyicG9?ޢx| nB24^>D,y:UCh5 wt.;kEPD\Ҥ9Eir nеV^$w3<r-VXy35 '`W_[ob\hKCR#3§HN ljk4Rւ^0,y'DYНnFn4-;J[;胇[DhC,Frc|y]Θy2eaOAŗOQ*Gn=wSEroR!V7OsR.zW `M;qzU[1\=v.xOgLDAi?_Σ3f*I[xhF.|j~O ]##UƟAV84}HV[ELΗ#pdGF,\ )8 F/;e 89X{Y8j:${_-2pjT53UwH؀:ݫf}ņXQ<@ )w߶9rb'o/Cq 1Sv4AtM$v)iȞzuv.X r#^@3'zф]--O&#.2[9^ycyMɛo 8,>/.Ԍz] ҙcqK?={T(?MQR{:OItgʗMhto:NR᧪Mc@526E6[55^z2*EQk (ZxDRB7{Μ`o~bAo[}|"jar0yW"ֶUd!u3<" ?{WlG@%tmcncsT'P`!Yynzt [ $*z f7a΁#‡w6s@jf;|qE0>Y\%G\E>mJV5n8Fץ0d+un %5Rߑ͞O|6 e4 x0ChyO(=(c͉+*]їNͽqIg(k)Ep=}m[>`ݟ+K7dHޱdn3BC|Up0Ğ }Tkwye# HPDFw/DX{{gSR$gIO$;ߙd5Զ\Mė@ep+脇 i %+7ԈB;=l_5+Fe-c-[ 1׾y H 0 (>#]!tO37J\M ߥٚV>HCɞw;#WV( 1Kmh&lu,~,jGE*?SeΆp0A̰4mXWn9~!GpihOO<kE*2(䪩c]EԴh`1<;ɣ~@LiNW:b >X{UVYŚL9_cfDKvܞ#\OVxʳ(oܷhNr`^x@a0ڰ'؂akYAii|]V:e{?-A $! Qϳ ճξMnǢ]܊3W|s A<۾nޜ^#|aMnjllKP> υ\Ѧ$mCIHd./% EѾpy-:%p$%䆥[R*jZ,H}ʎsZ<@(v`uBQYpHfu~($!xje `Hl5 nYHﵾLy i'X0?66s6^_ḿk$P9, @ zK8QKqNu,0H_$=YL1v9\;[ T9BaLsd&{ GY0 #%*PdZ]st7\趶 h*"V+={Sgvw<]h 0ub ?2n}UFunVn]Uo*; > (ī n{Nl)GXE 1[Bό)ā/AQ`y6ֽ>i P~0U`"L1NiN8W #AzC&uj-lx[,['|3m1Y(=v6?Z  Z;i%Ⱥ}3~RqoK=M!z+/GVj:EvqρLNfFםjF;%L w~XDKvil[Y&fD ՚ 8twSb+@ȟy gt |`_ P/ )"/2ڰ̙y u%|E@6Iu'C٦Yxi/>0 Q@)@0+VD l-10)S(Āla_$IDdcƕ\A-9c.U4 2kώH dSy {#f>@mD?7Xp:dC<+$0t :0t"F0&gh:ټu-ETFiԈK/B#zSlh)'hrj^k#B'miˆ0KkֺxK}4~ gy_u_&-O[-+4;2\%%x`#;9!DpDjtS1nJ ȸ}LgK- TPg+ vxUEA`hšNԀTިty 8"uq.(u8h Ԏ{b٧<=DZGGEWm_ yC1߉D}\\yv VȢG_ߑAt4<.>rz@Q#}oS@.&B8i:++Nvؗ-,F+앩`4].+GfK֓VmNN42=h΢ccX49!JjMA׍)kzZȿ:kC!ON-Ǔ~?B<Ϳ8#fj؏1}ҹX>Z<)OkZ IҪX]9[dSmr*8x'jA4arWd e1U||AeʼI/"^`Cupﷺw$o(j7Pi:k8N#Im שҧE? v9OIBcUS+VrK4q;W*sTיNA> уlHѬL%ۮwU S~e(:izZkĕ K+_;xE䄥rB'@^G1␏PP8D_p[eXH,z}[7D4a k]Y# KZޞX5`PK<GGAZ $aSCt7TT2mߥ$Svcg4;JrBárr.ɬp[[j|.^.މ0ʌ Xwr]q}rNYj{[^A(XjHyN+vu3 4hTEfj~UįG7 2#Uk^So IBR] *r>^ݩ-cmp"+;9Ʋ`<գ=A ʋ:`7c1OfOrA'J| &s_✉r}(W 9Z"CH !xWĂ$`,osfo^&:7>%B.{}(PP]tu?p& !zuGS^)2sus'%׻at2@~NnZ7tt "eG$(J_^<}8Öz<:B ̤GTԞk=wf!B,P8:c]n@_!(5`8 hv%/Jhd{KUS QH&{v^}.d{uG'`u3%aVKTLD`=+yaI/~;^#קa$IvrېXs8  Sk8,\+fm