SQLite format 3@ .  YYQ77Atableisabelle_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, "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  _+\4 Yw]Girth_Chromatic:threads=2elapsed=60.877cpu=102.732gc=4.788factor=1.697zXZִF! []ŗXf1-/6vRZSc$ ,Y:`)Ȋt7b)*U̒a%щՋka qG2t g9 [>/|41+EAB6w2zcs.@0rb;1d/]-R Z|oM%!&B}=D Jȓ6TAzV;q;P!Tu)_?yYzLD{̑ 8.(v3%?5cqn:3ٶpmYEVm0, i0)xP'+ 67~\=h[+BAB!{`t(RJ,#Ê+>wi5 N ? ωE s_;R] )9R̲fuҊN XkfhNu[6L-*0)τSʉ&]X|r! J,,bb1WW{ΗƤBrpW">#0R6NxN/o &C\Cl)m6jǺb 7ebyvptP_Yv`tꊗ8AѳúT-wq1,[0d;77 7&=9yA@ ,.aYB󤾨ׅ' Od@롃DAߓ_V.١p (4buf4K5 Ri|y:M7HmM6ULqGCFlwSJ{ЦֲDkr\wzt?"#;/v%2PЁRʚ7"P/8ǎhbQVȁvI:~ :iCnf@+d|E[$zXL;:iJ*e3Q+ k:yP(QW=K`೧pҢ$`+ǚ+]J`!6,kp BA.^<pU6FPt4mF<0uga1KM']hDy Fb(_19bx- #9#b_hOۨ4s۪xpwH:^x%h= R q'1FQX}E|[tt}?|W9 ~I )ҕ+d¾H^k#OR݈^) b^Ɖgo:*W[*-kmR_ %]Hhw$g[IOM`3WIxΏdF~sBtz v; #!z?ȃ59{&*}o3y 9?-_gOfTڧ8#I77B+!:Ӕ&(ZgL G|wn+ʋ{#|y4qX_Ǒʫ oϽ>?vEzG=.f;T&ܶnͿ7B:ܭj8,l1補"ٜyob4wM-jWDY\L2z5}oN ۯk٫:E|gK%)Z׽O!>.Fl?Mq9-ģb<&q\3u8EG*6G\WO̰vHɅpIFݚe=E 2lΌRb1]%3| r9SJw8k>ݔf_|뽉0z9sqKrda=ZofPa/w[x I"-._@E`'ó_o#*~|`EX3,l;axjLxy{1N5C9 B[n|s=\MiGV栻 k3UVorp 13|,ÊTE|YP"'[) IFqƴځB@d޳(@*O @eh+YD-WHɜ6.;R5V!ZyhkD: .N@UR̓0. Xdaٯb8&^CL^\9x/7~ן;~B&}I(O{8$AŮOV_ڟzOb`OظDW=+Ձb1g*%]bjtWwe~AIP8 5hpxvU/>V2L:eR=wFوSOxp&{)M~ n{V;^׬;i?bq837 G,r=Ӯ$J&9f2p*z*ܨϑ e;Vj-WہArOҨ)R nl =1~f%p-`yVēggN[`?h/.@$rZV`dbT%N`suwѲR)R/&@I K851W~X7m|"뀕tjDB\`sSbcb"XI?A IDj YIγeâi+FA2Yf\)IK+Rsl@q#-ph)|#ř I@ԛ4?йٷʝΨahP]d7 LPq& zu5m'Q=z thI!#ٲmR^D.ym_"~@\_ ]}Ix,L S;ZZ}ZfLYBbOnD~:@YXllzݤܘ0jr68PI/EhK`.% /r̰,~qBl{omo EKIԹ;R%#؊υ;?--nYh2k#ly nPشt -I^?+ȏ')\ue9 L"1˭2fOؗʩ'"!(&Ǘ;/| 5Hm].[I1A6`X$3mhk7X\>0%_ _~%+!"P5/״4Uw|9C\(†dQE+pH C5hUMWDT]t]?jT3r YeEFBu>#y[J4haut2;A;Cy#܄jzٹO1<_H3nm̀CA$B磷4hmz?|MԲN6<"%Q$ jH1na[{Nf!gD*c S75 qdG:-qS56ӗ^JRAp)FO-v*cЯH \QM$Y!ݪr8ȴ7C~b1У꫋X9Gp< fWS=~ -V03`9IkPm|QnoBk%Gt@]C8T,oS1w鹃to')KY{[`` :W'bd41k ~?w3o2ZnBߦJ0trj! b~U4оޒ9_ 6A´w:ܨ6#5p<}H J<Էpfъw e·1q kjU=G7#׸OPpǬX9h{7t4\-N|%@M@W0 =:3ro@> h{m%LQ^Mؐj+u$Z?׬D0>,טe_gB$."WoW=9F?`_|o;  @}#jz6AݔXi D f*+x;ԬEjE4)/0}.{Y;% }O\hiC]Z)ElrPWVK mj($w%qaqXYdIxsxv&EǘSe'%vaylN)}%/_dcs佮.`6!4.g΁`OI/ pz&MOd;k+^`2!U^^#0z_/7w^qԊY=һ8΃0ڑ[V砷lN2=_E6g7QxS)4{)(n0C 7߸6v;`ҳ.S tс'vZYuC4=k:Yj ̞YB;&P`R#L0<o;mRq.# xsԥ 1%.l+)곎ME1u ӦL'͍-d pP[- iD/ ͭ׭~Oo';pnmȰSUy&DnSw*5}n7gG7{l[vgeJeMIRbB5Up(˝{;Y ?.k+%Z`䀠iY9 k6 [pxYZ 8 (,֍ {/>]P7яg hha@d0'NUUsw`svXx6unU /<-!,'ޒKoPEEӯ"M]e"LX+1o꾪w>G͈"o#ֳJ|H[QxE 㠧XU(҅)x%9>IQ6Ȉx2ߥoj`;YХ"4"HD1R]&-1a5p hV1yȐߒ"ŪF'1&d) KnS_7s=FMeYkALFZ9lvȎ-+Rz lt7 !/չ9wdz>dZ߹aßkMߎ `#v7e Xdr?BR +U~`W" n$]I6gWf`7Ut&Mt)/qV:lFG/%`wlpYIB&g'hQ+ NE$IQǵERV*Xc݄s [g T~A־8dRmޗ̸+_lQKo!w'4% do-zx-Խfc XcgŔ\8rLׅe <e"lyvgN~bcl.aSCHyGYnLR:p6~[JΡF_Z$-}d XLPrm1:;{DtZ Ξ III/WU ʈPD- pㇽA(,#{q9i5+❫[|!#&uq32DDY &I桞И#Z@g,4.@~"e ]-2R^=Qé!G(H_i2uG#ePrSZ&LA/x bxA.l'&_Ĭhn&]I:> 4j]*0POdF:[EkRr3~/89y NzRaB4}6q{e4^ZD^fى˻R&r7֣fE0m{o|VNg*hnYTg{-$"4.-xH_^сQR(a8JݼC\