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   ;#tT ' Native_Word:threads=2elapsed=202.385cpu=179.116gc=6.484factor=0.897zXZִF! ]ŗXf1-q恈͐7ӺV #`91knTyڧ%kh ^F+k7O..n=b(ڠVF/?Aok$X9C b+_NZ&DoxK9 wU˘.c1=eN[ٯ/.^}L]] Tx#^dUtvvVMX&# '1гq&`\0>ڡ)Yv <?-FNi?E"4/xRw7Bۤ6dA#5/,Ғ*xW4t YBw1ٸ|Q» /ՠKZ!)DdW(j0"27hQ+\`*0RΰJ3~$n`+`!Ecf$  # Native_WordŰS >%Dh7 ?j:[Me-qqc͈_u-ȫzۺ}htR!֐ݯ-!BW.t|/'h8੼%Yfu=02N?3o[̹v$N#f"wZA)h&CM08yurZvY{ӠfʝWg}ŭbm0&PFD!ZΩ3_j\BVB H9_] y}l*f+{Oݔ.'(zo\,6UnB-~iPx/j e.ha.CBn(Au3ip&^ l =%`"ʕpd'QPs|T9 Ep݋8|37u>Y-?cBE]8tp.PRC !x|`H/d}l1>Ob-tqp%B7GcE ,Y֧T >$94瓟2ΞǨh^*=ZT.80 2MH/VC+)`CιZjELFv 7/pGzz<ՅT:Ꮃ By ," 1~yhQH0 [Ҍ "x祸/MW7uh{&aZHLALT$2udT]5B,gUF#LfI(?&$y3 4);G. &sdA*HRm≠j"& L[݆.p*#-D;Ti3EaJCA>gEB3"KbVQ't{>dS _Q"] qwU;ԆjaތyXɆ 79d[T =2E4DZ3O1ej/%^ *LgS:>m巩 < \GW?+ʚm ǚfvdꥈId/,䔽N쓖=W:B>&?* 0,="9j|\bv,Ρ(8,*֐V&*9@c+UU^{O$`Dvג}VN'/g 7{iHwiL(z;d=Ը)%򰨤X}|ݣZD cwvǽĥ#N~KND70o7T.('lHnE-/'ͱڀb#8\V ‹&{!h$P*)3H%O@5<'(2mu58ħ(8&c³U:e,JoZK::I !bpw;Gt ]L)=Be0szB4TH@ (eH< ]@lr&EoLiWQ=o|9摫9Uިxx @I]| Orw DF^k-^&~^[x(H<ЦjߝУ ya{fJ eW %>OCXV:i b7; Qm_ݐ·r&5]Khx5!|E^_q> ۡ`dc!S_"uެݓmH GSTvIJc^k#S5Jhxs1OےlFBcy]%矋+q'@du$!'S=t7T/Ta^E܅QĨW_YM$`&"d@6ZfڍZ&t<JSϚI>v" Goq=7:Ue2ڬrqPKj^EW/iG,XM{axX[O<I+{OО%}]/ b,7R#̉W׻&O/h1a6ԇ@?t[Iz p"cK2Zϧ+w- b(ңgo'9K){{ қZhYR|L^kyRCk4mPLsB&$#' 435gQib>Y45qnMQ/Ypa~34|CRb#PLr`4Gi֚1p}XRv:'_$`h8D}Ix/vIY(<⤶<⽂nyIKlpa.WN^ W>C*ᤶ3 ;_nArGCS{_֤O%}\9%iľa d'V&QepW܌8V [ TrؘfpJꡔ,Ե: 3>NDv3G1㘬]4+Y|W-qxN!i 78K]:-<_R T1 v?O㸓>J| akЀŨyKdgkVc3gxS-x7D2?!F]8a:Wt_u(XU2Ĥ-ƞkü\i'F߉8Q*x:@B1\5./^[cUf5T% ^u&iWS+dFA.=0P{l(@\u^!=6Cw+[g  EVCD%bL+<@MsbiQ^tl|y, #?6욃 D\phYcq TI0#N۰yϧan.Ȯ8$^}8\cy7ph"v{䣱gYZ7zXZִF! ]ŗXi%Bׂ\W }'5*Mz3Ӭ*a'x%ꣅߗew {E)o/=u JM5r404Vh naz4AtnV| ( w?;]]Q`ax݄aM6 6uuq ov"UeIe sfjGDߔ@WF =vSh ݥ$msR}V_țizJ'1"Ƕ/ǽutBr2]eI-d#|d}RI-A$D7 D|~ {H i@"0ǨCFu ݘ.} Ij"ܼժJ)K2eqq};JMW옞%z q/ \𛬇wTh0έnv_8`WNb +hz@9@g.. M%>7 g)hr,XK,8oT(|Ẏ䬱ⰿqޖΟ%ńrpp8 lϦ=)( $S4+Y8(v j@U)qY?1 )8;'H0Pd@ʱeBOO+S2tbL"A|7U8\GI A|,gg"Х.c-=_* nrp`3R4=%:׶!q٨\^(}Ko*ѿ)Ɠ?C9 b4($2?A60qJp cԨJ# k|4U:׽:[Ӂ_Ziڧ]\P.f'V*Աk^`gwzaeg-K\vZ/c[` Oex>[Se6wOBpi+a\#z W|QO~ȴ7&Q‘4eV'U`נod 9.E YFK |6u~1VيnrÖѾAn=t~"[X՛" ].`}ܰq[%atyyCfTCWwxnI0㑮n6!D$*h_-<:M!Rltaٺt!|WI6\cՕ/#&,2CyXHJ|v'Pu8quwģKQP ܳ24W*>>ƬTHq'"#wXT Vns_fP,@;Puvb0Aio"C3ҿ*x4gu%RS3N?zQK5&@ÖMy$~t r-|h Zn Œ"?%10^]> UV =Mb\:ty`aj U P8ת,cb _Xp}!EN&Z0X|z/~}[$ڗ=+vNfAYZ8O=9bL5"jFO59<4-h\0Vz˜S 9Ȃi.cheܲ]OsPJ@AtglmqR@?Vjc>Jgλb0j1k?DsL U{a$wL]" j\d3FJ&"ݳuCˢnɯ>nk8Ut /|oT` [K^1}y4BoIrk[W 8M@U#ڹbNJބAxX/"ֺ@|Jy-J&:36]lI9G P2;_[yRU"UeOn7Ltɭ(~ Gkq3 uC6xL=Bģ<WV`~ ΁\ : I+[#_0*>ܙR[AYǫ4]h|ͮ?gHPwRzX'2w!(AЌ{j^gt&Aҵ2a_T Sf.D[H@5,+9WSP%eϟtS-Kp*#wtP [cy18R(N<1r:rL*C=,8 bP()*aq*5U4H#PN!UKep\ܨR?{u;JyZUv6 X0$p̓9{3Ac`H׼2OFs=\i9񁘱A׾k؜& 9Dͫ*RtQC₷٩^6*`FDʅJ_(~"@GɜxЇ/mόFi-Au)dž )Q=ɏM5,ꢶ*`͓iQKs x70@]g\K1F?R|C^P Ry-ZYǭ mJ| mLFя7.W-Z]Hz,[y[WzI>B 1_~QY`Mi lp3|".$Xb٠?)CÁ3$^G0V_LW7Y; Xxq?;$؉z,A 4} }t8Pd.Ul8@Ļ 9GxcS[\t3\e@??|j!sHoǛsa抖WS4Bm\BW1r:(ݭɳՋgʶKsr{h`' 1;ҕ+pƗaW \`0P(fWl<1J?n!R09ai.6QZhԈ)&' !1 e6.=6+!%} @(-+JRJ# i61r㇦Y(m=*oZE*cs;ϝ{?Z_| ?ݎGR#cM_ADz%af o4̲U?YEd9PTzfC {k|9@-hvwھZ5ob rۀP%16 ^M̏@Ƹ*g'JR:QY58(;[$ASx Ύ,[HDGKa9]5dh HU˰V咫HR*=gQGk\H /i= \0SlْiJujT2/__wCiO>cOɶYy>y5岕 7S>~3'HB}޷J7F+ZظS12eCNՆfzQl}lysJj[ D hp?{w-=}(V?t1fY/:H.F\8Aek ޣjVcL,@-Oxɢf׭Fn]_ $t"gGk Lt629!CzX @QdڙRmoiKXꭥsЅsWbC왥037qhf+Q@Wp>^]N?0pG1'm >m>M}\jئעgݒ99؞Ec/&ZbwB-}y9It6 zSh؆L(ˁ ϥ dwU6L@ܻ5`D럾~fnu" b61nybM˔L`QP+<'4Jz;+E}٧\>G7 :(cLEo4PbpR .;k[LxŌLN_" d69 4kHo&9fh@P FM$jQ2TBS=8*t8ٻ.bcpyE6Fs=4NO}lسBl,dnm+t2AZz 2*/W穬 ]ӑmS!K'xZxɎ*OH!˨Ha)Te\>lR"h+`=4PCa\0~1(Ź5=eV7أ#aNI'K >Հe)K'[]@iwe yܽLa:q̓Mt{N eʋ\viD]lꠥ2XNjaPsb;3I|DnwKP% hXa=B.6e :N"KbVbqDhGM3Z mzˬ}cܝuW;8f CTNu8W0j.` $ex2dPQ\EcZ_%}VVّkd'ORos)\VD{۶6vܬ+uW!wk#0e )*o Xb]cb2lɟ؟A=ZnD* C,㸑obDN5bv7;!.sj#TyQò6 V`ؚ5'GC ,C. Ŝ?|w%6ɞVk^u9Y[tDD7YalVBxy*ԂǖPFa- '2=sTQ.*aXC@&gx%%ji +XzaHx̽=XZ|^.A1k?2%m-\z`RޫR,a"ljx+Dͧ\Jc!-V2"7{k80?vT~1"BNRCzV15 }(HkR=(J (@kL(bcH? ,c5 ֦ NN^ S=€CaNV xkǾqM:H&MP;幅GՎI'Mo85¬C\6p67P* K0Po/A yjPg1r-8/g>,h8ɕ sԲ,ӂ; j7OFNZe09iДxY퉫}7#ƠZ@rW\RoL% ƼOJѣS䂌.׺ՅFmy >TFkE,&'*~y[F,vA hݹw"m`7+ upN4s06$,]#+ C%H6)`Op#"O@SX 2 7d>O@<ʱc+-qT-2 5M]!G;˪1X(5ز%rGLIlz3.rpͿ;/( 2*`@bX|GDq x*t8י{n\1AOVK (rlk#P!&+J%9Z$" \ؗGPwor7nzG>S_ X6pS%iG]юL㏳D.),`D rg,yƊ_g':709.rKWaIH