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 `$ ] LOFT:threads=2elapsed=185.092cpu=331.052gc=14.176factor=1.797zXZִF! 5]ŗXf1-/6vRZ0-d!'?BɆ/A*_D-n?SNP7 L̎%2]DUn:ޗ4v REHSvlF&W8wurA[ፕRR#`Kj];a^0űupU6CsDl{vS~xܞqȭP<0$$XP4^k F+nf zFGÅEg`ޢ?>8fJt`S@|HL{v:yKyHMNIˢ33P"5By%⛘M#շƤᝁy/+D \jqS I^kňklQ[,\w±k7$oҶ_iyy&R5ah c&EAM90 lُy6f+22p7@3c`/&8uy,ggv\_PĞGDfXI{R$ jqbNgYZ7zXZִF! H]ŗXiɟ}!b:VxFu/HGuB? z5}sHZ;!V};J$c/0Zx|`2|8DLȚ\  Ύ$w &9dݴF.l&@ A}q5>YmѝӠ#3$ιu)?HȎYHOd,a$(Dh[p#yYfJ[ QQƙ 8;7+8D䡿׉] /o'ڎgRC'#r x.OEf-9*qJ4v5i5GmN4gYZ7zXZִF! d]"]ŗXi%9(R/TiCWt}m:"H%-\BF-CpD CAio3#6r@EҢFAo̰ ]mjNqXG{]l%p ΤCqS ǯXF)^VnXXuĔ;: T TUmn-| ̝[W=⓫KZ EӴnR[ G8cIٞSqˤ!@ɑL&[:6T@L]Ra߸޴9ԯI󍾹>;+a|xG96E䇏;_uQ bva5@P1׮b౎Đ!5U>^f H~ŴG = ~,_9t2^@WY_b#\=*H.k|]bX l260fbu4J 䋛ڰ)vσs^jd/^✫j:]W$%R\bC#w'q-{9ܱg$_OPl1YnD*987?ݘHBʵ%">`D+\Ww#Wmh?WQmC(}StgVu }"ء>nChcOFpؑYI; VivΑ)H$á|u*=; 6\y0qw̾{?*:Gi *4|/=P<ݠìh0©{%+8n_5Ls``wOʇS&uDӕ$wl^"機`)p?Ydl̄Aր{kP(ҜNQ9Ա;rPaɜ_ çWx,bzAQܷD k:H}5Ar=S $#Y{ 7&B  LOFTx'gFj-hq܍Jmz=MZLa}j5+Ԙnl;ƧJPk]P}Og.g47S%Qg= *|婢P I%ױ4y {E.|n}"|&jn0FG$Y|9o~_ی~17x|Oy'چKrz%ZDGK%sp ~OѲn ~q_X4T'O'7I",f\`}D]V%yQUO-)y\ٱ *,g_oVr/[g܅|D6pbŰ' 7{9K7є bIL3 v a2p2E9pta=AhOwb[Jȷ^;ձ_qAUVCnA 6.2`g *ie~ OMKsZ޽dۢzGbRBy]TQ-31O [mF+贈HNۍ>X>$;xdsH.l}F({{GQt(orlа)>. Ⳮy);ۚtec.Oȴk]7}+2iCljeW1c$IhEmG;L'Vc5ŸX,uJ(fpQ.7F! ɑ*~cŦYmv|%؎MWeQϙJ>hÉ.U|I&Z$Y  8 6 + b*4n vw!}Etmfq};?b=x62aZ16ҋpx HI0h\e͏KJ\Z}Fe@P# -[ p͏oO$Q]f9QMj tY,4LӶ<uda.?뭂芩H(4i͓Mp")6.'b@zx[<Ar{&·]<)+i.`b~t]Mw=֫()U^xQ}ޚjv{DkWmȣս31'"~AA5{ƕX>tFNuYԑI9tR//s4nU>*uəWC_&JlZC'KL YAzbDٻt2JKtIzNDe%`W4ˌ8فO LH|֥/qR Ċƨ9%:<IAA= S|!=k S+Ca'(&ٟ!Va#q-djPGg__cb\ԫL_!;V,AAy?\J/'H :>LXq momԖT1IrE#@c@6Mz'" 8O4ۍ7v;,.|dT3x|ue{z {iпs)/7y߲Eƣf& ѾߊU&ʹW됤W<yD[ o H.]fpy?_Zi[Yp|@8rocgXG ֳ1+uqEcGE8i\ AH AP]YJB#SŔ"8f+e+z<忚f7#~J#hNcab9{*Ff9JCLmy?Ə.ca08/ufSx&S:2e %pc} Ua1t tW[3 e;DؖTf{rlo%/*ΰl;##B;+nl9FiO=YKo.t{_CEpx I#Xs- vx7oLcl ~ԢeSrFٶ襮"/&㵡ݟjs5|d\o^?SmQfU|j=wM7?*e2V!5V fk#~`ĪbyY#6QK]4ZG6 2bBxO03KDg˜FߪAuL8{GtuYF{ ^ 08%ӻGV1 F;4I 7⦧7ֱLlϡ:>nl8T~$م7gg^{5LDZGoA3@rMXGa|xQh!aacE+|Ǹ{ <2)ǻX-DZx LBqFY*#Xݏ4)HlZGߵ4QQ}?YV ȹކ5zs-hiY׶aT) :x`MSk]ƭu#uqգ5fB͆hr6G7G*=#u%7/2Ÿ2|y1@6~ɟd:[v݊$uCܯ+%`OIt6,c`PX|j-ۜ.ISXn [$#!KoGG#߫jU4`"m}v%"wwN&[7ԅ ߮&u1iOu]}eI 7tk-3\ k i \'^'WLL>8B4Jr`8  ٷ3#đ#m.?/u'P4_IlJ{w "8Ülo,%c$Q{`b)0%W%cf<J㛪@wί Ҩnk:~oI/pC=Ub${+pO2UĜCO=W` $SfD\å̅C(3y㩛IްgWJ KM<Ђk%btG-i5-Hu_%N)Fv|NJ`t8!k7>]}_iƂ>k ś 37-A`XX",=u@Ȑ8DиÓo% w97TCši 0EG^Y:Zϕ=墟}j V[;y;5Db9#e .g!X7΂@{6B'}9zZQcR1{Կp*L D<w=ШSqrN}:4އpO31OM_bFŲ#YZ@_9&w-s3*Z$Xȵ $/6>?Aj3ظN#iAqt: TzG$^(.=aV4~7[IŸA~(^x#} ~7Zp$7osxgX&n`pg*YRTQGVtƅ)b/ GY +!(e 젗S~ {‚kͱ4:wxv ;w^wfcdc*K,d_X~$bڇ%ugDfc{[TX^ZxYUF9.T=t{lj;th&aj/cw^t#[1QoO;dǝ>D\bryYDDDp^6Tށ\eP4T𫑚~0 TfxjB"#}INNo%Kp~-&,X%dh¯~Z6tiQ  n[wljǽ 0/"2j3Ou8 ^\BxHg&`D-Q*. |.pPbXx ݇)i 8,K\gE3RXs 4~&+aL`Jcc FX_&RT/Y|"QP0 utU2`0fNDPj7's9#%gYCL,v&m;Ę~s_-Ȃ3,k΍_S*L~̑E*K2*8C[C$A;Cb-,aAyh3p%1@|.Vx)*w;Q&oC kg7 ]1x}RTNEêa0BwkWTW۪~Y[j|'`89*R ?f. \"#:-$Ch?ԚS2 ׆#Di)hA}ˇ_`3s牑>#%neHa`|N/9Oʣ0X3aF#͡2O? F7D˸ŞgSg;U"ԉ#G*xbx;f?/o*nЬ6鴉ZCNvOQ^䣜 (