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  = =4,, ]/ KAD:threads=2elapsed=133.041cpu=224.960gc=13.524factor=1.697zXZִF! dD]ŗXf1-/6vRZcm#kƣOw C/팪¼;o{'&:&mAx_׊O"JTvdCv$N~oj94d!O&[Ð^RLwnR.73[=םas1ŢTU-AV*K>X)0,CFmdkmbĤ dgu}i/԰>b !)B8IQ=vѓG"\ܖ*cv 7}Ubm2*$Y].26Hz4׌ʘe܅hz{MD;޹CQV=>*RYb8cJn۝̥tަ>{#ש)Mhf%j'Fy*>&ޏ1[=X$۾q xd/+;Bu ѓ]a8E5kۖh|^V+¯LB0$   KAD5aSRnNm9Zօ i^϶wP~#:0cO>|-Y1lqh]_}`pn6C'O2bK (; A%aYxm+@I /'ϐd o E6*C{n[|Pўz8WSUm@F@)8]`m׷!VFDdIf_q}ɼ]^:i@ǔh vK\1a7vO濃&wuaƋnنuEu& -=8a8|z,a # eMJid@PD"U͋~V|}]Ly_4œÇqs:X7|⯨5Wr߹~[q '_NqtxM2n5EU[\~7dќ#ib%gYZ7zXZִF! A]ŗXiɟ<t3A;ȅԇt՜+3Ƙ9~Z]w쀮19G2uJ7wsz5Y }^f%(dP`Ϗq~N [a{2p%(h}!Ԟ;?Pc!4\ON SϜR npQ JRk:A,b8̵|I,2YEj!8 YQ`"ǼF~&HJTw؁s[\{XA{saj3bE˨T_4h&>D:эdVܱgYZ7zXZִF! l]ŗXi%;Ŷ5X 4Cv2qzZVDŏ/9O3g+XΈ_5ԍQRcWM|G>]Yxwqo7&fDIGȱSny?uz9K.sdr2ۋnYQ55RuMM3aa#fz,{V? 6 p9s礫q UCU3 2{D/_2ZA]RnTb^I~Ч: sDy ݫjEPaP@OL\L;4J:媺;"DӉä2t ۘ*Loa0NWwÐ nGDYs=Է%=zȽ`NG@Ћ_sIbd9ozvHv4h,.VKrRj4}OdpᶏKTΕXZx.UBǿg>e#'Q"6࠶s{o)X,4`#\NI^zw@ǟ=Af 젉[?s",@מ"U 1&l}"aU3Rt=ΣF9 9/7i4֯Br9 JWl`ñp9x69\1XyմB'B T'\K O8~3@ 7M%48n@bXZw5a)b`ЧIhӞoJc-vXO_'eu^mxqS.9`ٺ-E$k5Ki] -&(.*;?v\`c_FE ; 7br $͆:E4O3B{cOm T+=VBkl{R]9YVc֞WhctF7c:y; c杙m1$R;SDGnk6L~5-PcOђ!'Htls֍\S ,alKhLT35E㲛ujOC.R٩j̓.~!lj'ys;V .;+ɰSW\@XH|4,xBMPV#g0z9zuhCQ  ;1psoeLͽË666hnF]]vWsB?qfr(brP WY :`F 6hGnꔐEI?&- Wf],ۙ*֚2KN$Ĥʞ %2f>S:J5îSuʇ>\eiTl ھ'6sGNJb#A9U+MvQ;`iQ\rN Ebfu0lT o,J$̓B2WP߃?;X5-Nb9]{u/HF `+MK#F*vˢv l6N0Sd88Nc_9x7uu+W|*6uӥ?& Z6 y;:wʼmYJql#k$"3,E*P#Kf0b2:X9%XZcmG %g]ū/ @?L }11{a3Iٕ58ЪO i!c gx1:P'e@ӼHo-Hbݘ{םُk[fGOxE4)pbSD`.RC!^͜N11<#*H[%DVh@g{SXEq[')\#OW \cIjk,yE< N^{ŀ0Qv_&*9;zP?!h+dž!%17JfE"ܗ(K]  Q8Z;/H%1Y媃v}1u+9q)(e (<̌9<` nGmMUJ/9u&g zkJ&ԓ3TIbzD8LƮ] ;|cc@^` aXsr_|YJtEuu>BP,hި]R!!F-}I DKw(]veU4 Xz#8y}x3W[ S' ǵ[)Pxe{Z4;1l܆koObcx|Іͷ1)ď̮ SS]ZOyM{Q$*.n<:ԗwD5V._6k |*`mx=CN,TcG"  8wWcl܀ f !ڹk8ZlϒI 14|r:s2`5]ƑQSGI"{{j7k 0f`=yHT@LNpTwO\lĄǹҙzBg-$ENٹFBಌ!Fևhd( t/"!)΍&fn}nVG7Z8zSd70p)HU]T J~R\&8o+[z_o7}n~d>+/2䋸)ke<˫[Y}JW Do8(F'Af ;Zx'~c⢹Y^>Ahݼ{Z$ `qEfν*m=s^c.С5GgqQWz Ip +!bvpU%_Е70g\A Kr]nK9SVE 2|:n\Cq-qY/Pl#$*g ڵͳp )&LR11c@JY\SH8Õs*F4)loaljfuvdņ0!\}~[9V߻ـ(}[J5>bI"k:lI6eoL F YZC}XzrhnN lJZwHC#ǐe67tq$aAIض8ceu)ۘ#]*VƇ4Y¨KAe#L!G_6Eop)%^ I֮&ɿYlpYJ$:ڻ39'ki= u&\׾V|k=`Rf*!d^γz2x--c{u@r\lj!T-@_ ȝS1U g4mkc3%bhm/aM_~REq\peG#?47\*sP~?nمU;`̵V1#y2X*vorQhjNa"X !zp{ʑIqln7}Tԅ+k+k㻮22ՊԺ9X,=rU1mjv"k5kUB(TfV{w5ͧ_ gA;P7JMbkRZh*At juM1YԆʌ#F̥x^mDջ,f&fs 1 =B{8>$ɿŘC2ނ|2|*{r&H0mkkT@`2, s8YZק4?gIFH>o"8_L_)5kǡ?Sר#5x }Z: o""~k:W@ 60o6| Ob <y4q#`i}mBUz >n&FTwm!w7OSM̧/wŅHO(ZREIZ,x&GmQѳJTN?xuuMI1K5[%tz赢 cIm1өsȁ?Davd蹦3gJ2-N\F:Ի-Tpvcߣʾ`w(WLGa>@;>q $Dh1hfc5ń=(F [Q a'j҄qhgVt^}_>\6J`u&9vx~BpYXt}O3@.^E!RŞI k!p~k'%NV<@ tU>M{SXԩDOĻW^iﲏSLׂ[?^-CqN(53=%j` /;v`2dxz,KQIڶߛiyo|Bx#I)BYA0w'Bޒ&h) ,H* ׾c 01wLi&f[[3 =i Rg<5_3L\/F_}Vu\%Fc7Sbnd4Fy3*D ͳ٘Es$bxnh\P( h3J^l5Ҋ v6D.0fOh9W~uV/?0z&c^{ eB?]Zq^^0 VRnGH{8umL` Jt%z'θa0B 5C"ڔe@T,圆-?"42۔v!VH%8F3L) eXIPQTTą(5yx@㧜2p!a[:aYM" I\A(zw}_Ja40:ǎtPxs(=xgr!E zR5No Ĩl3h1hB{%JvDXv"Vgx;׃Nh2g aIҒsnaگ6/yyӐ,3H&WhPdwyW瑾R XodРrWh^?2 Sey㠟ߛ~+ӱ+τGLQaIHkrO'鷚N6'flmrd-$}FlA;tκum 2$ T*/ۼQE9+~_cYdD1LbzFF/%rAG5PK(!ݖ{YMGG '8M}sPlY4%0ԄIk+'U6U':LײpkVE`xcu)|_RvӶy8RMRX%.Sxg^" VS+äaiձY v^X)jÞ pp[ko9A 巄;Q";G^iUU]JdJ*GWQncUo\S2{qٿY7Ƅ\_撏A4B8fj?u?zlͅZ#y3%qgV@vWi!AbM =;i1fϴ ==-ݮzFC}R ~.JmÆ&dXNa6Ν>vo ?(јcfsl}ket*{ck#ښD:n})*)T2c<޽E8ޡ29oCCZ*EPFC" t 4VɤNSZ?>,YWyOXv),09s!#2)jJU e%=qVz=3gɃ6 [ꐱgYZ7d6be7f9cf344156270ee4e65730c24d784cd56879d8e835726df87c7b301a8f091eddccadfabbca 384240766f364b0530b95cc787b490d4a226797f