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 F,L E]Word_Lib:threads=2elapsed=66.600cpu=131.436gc=2.876factor=1.977zXZִF! ]ŗXf1-q恈͐7ӺV 6 hD;V& _wҼߟ=\ 3Tջ6Ic'`#£T\~-K-XF3gt.[O|8s-!1?ۄ0's ]w(H7۠ъ̮u*6{-6OI `hz /J3["MxB+%adh|yE(ֺCeo y9 y-ˡ\ +0,H5kMTFQ?B>BMHP2ô 2!>]S`b,?—B>Ԛ|fhFQK=/91"UZZFcSno(0б!'QMq9X°Lb7CUHH뀛|.E;ޒeס=h&xF(MR Nt; رYtxKSJ;[]no%${2fR fch6gs]1"] L24$&D\8S撧&JG]|Ae],24C㆝0[Mx'OQ;Fa ę B-V!BثV@Zo-r}Eo!.ћ.{rMEQ`PyaQE[d GOFoNi)H M-. afqVNLxURf$VPM0q-I *dhJf岣P\wЯGg mRQk0g=` F.hʣ +Ƀh_fm4> ;Dhn}pf @X 7 D_P+rɆ5o=H*OMMbk :ze:a[H%цkgfi(8TlMĭ-%k&tJCVE@xK$ ]u|Kz7P^`]ݻ8` ^,kzκ֭\2x=(BRyTv 7DS&jn,^l&u,7HtF^ ֒QQ̟al79o6|z܂`#6 B38P+2R階m}-}øAVR{ןGd'v[:6Q$YO$8Ɂrг' XW2._z_eAFT c6ovІ35,iL<^:0~<t\ahiϵ5g_H В#]lfݤ[IuW"P{Yv[pJR/'ɥ,)8_K}\4)"MND {?“u)ƋEڦxfl4- \rc ό~1ZSwq)p\nh$n9 ;+WOeC,5/c5Tto\Uđ JDVkVH-q'Lu5b1kb?uG+ xxK +sЋ_9. lM2+ʶW)CҖ w3H>oovWahU&/tRDx1i2ҋ( 10ڒD! _T# R'͕VVz/N?=(aԙq6 ʋq>␒v-ș4"%0Bg !N4BMUڧzz+-!jH8┝N*0'o h?& *GϦ Nz !.Y9*5pmJi ngkNmg3oq(e>_ |Jj}$~7'OhDCVYSc'hz˝r:F.SN,wMj URM9@@50"E$e4 pG?ꟑOׁmAR{6^uɏ0/!H)62|_ys* 'l.ypPjv" TR X]HOByz3' &Aߢ*H[z,A_h0Y`A/n(oJ|\EM[%IU9#`zW!UH|!)Gŏ&;e]02W"˒Y% G1^+\9hTPߓ^y DAS/q,CA26GؼW33 o3LL RŪ&9N??hPFJ=È-xy|J䁇e0µ+t$3% E }iH4vפ G UHG5=X$lZFp8XO]WK(d+/Ko[)q ƪ -T)x eOrh)VF%R5X4UOv?. (8VY٪^vVXME'o5`BSlu':Xܤ6 ^5xpQbRG 48"+-u~pCf4Ra{T(<>i;˗T)N`xݗ{GOG%3@h5ron 7If"%)2Wa0X[ 0% tv3ꔟ8Z͜}2I&"q߸jUPS)J4S 2~5veIh؇f8v%s!$݌S4ϊk⦍*i}uOF{zn 6]l}>aә˺1M.FaMa L畫@I(Œ[FLDd ü<:clwɄﶨjx{:ӂw:b$c5² G'u;T>)]/re,gU勩>dJo5_Xvmn=A L ;sQ#VqθKIor,5ܽDy܋iJ4l4bލ-_p F~ťsΏ[@Vfq`]WeU|qwZb2I5"UeHp%?IƤn̖OԴ;ɪzĭ'il7g|*!۫񲧍J_jH!+\|!uيAKpmʖS蛟FaQOM^'dh>ŷBe5~0{X>B|h=Rb## s'՟vfAX^ѿ]9In'sF`J&2Z5H3qcr8!]~4K`K v&2z)8iXAw::d:L%cRPp-MJf /\k.zd̓+#@D6ڌ !&6"V@ƂeSB9>M 5(B/ ^`+Veh,Μ:xtEtf9I"vV*;cH^p5r;,Α Lvٿd4,tOR,$9IGUhpጸ jIu$9ΔKHLqϝ,{@a;g9ʕow̹*`LPlMY֬)\+67D$zka[Ṱ=k4],|An au'X*XwS.AڜƍNez$u{R.\q">\<%eQ\syܫ\2U`ӳ׃VQseu%IdkH{fqpĆJ+umg!.utGRj1E H1HCWBKkG( ֬/E38tšZZ f9Nf|m\!Y/eO1ѷ?vba)[nb&*6SЁoYϻnl( I9u v ԒVPEB\|ѩN\U;xBHKAKP5X*Q.i׊cdfZuʳ;wүXIҘ6ǏJNe=RpwӶp 'ƞ56[w+WwI M*bwt94*[Ndq.O|(镄 )uasv]ҡ9],v.Eݓ3:]qo œӒ_%_nXMAZ5S4y|lmxúIz:S;1-|L52` ~mmSfg͇;vksH"/@1*^Ym Ax' vyg%g~o,.7?s`N1ahsd `?k}ͬLK}3-DcK#v")|bຳ4wT2?k4BWRۄP̪j%` #-+VL.Mٯ`*(u51sb4>1i_})`Z{9|ydHK^%횂VJOk#3ʼ\3<:qj7Krz"iv OkyHZ>TnCgAӉvcOɄ\h#ٻRݘn;?CZo}󥂤RU:e9FivU&\-+- 6ޏ:s_GN@£?z?0wCoXY[$BwndE =UNjiw J9ed7W#ù725e` Fb)Y{ѝe5zUsϿh "Lzs]Yic!P ż:bq˻}wqFp%eijs;x4QZt.3W9k?>4NYB&zŸxP,`Y/S' ? OKp)Vs{OԼ̌3b0 "1DgcўXw-B9F(ƒN]愮8'>fPy~eX[lh\E 1e"}Oh)'[vTR4- #%IL[ }?Hl!҂3;@>KC/l%e2y1鐭N1_DT.42R3ߏ%sVOaヾ}c!39Ts9lXeJuFy)z}@+E[o74FQxR'yi^qHfXgYZ00061e4601716a25cfa8f61f253481bfd5760681 026f036d1e50a5fc0a49186e01329ceef5386dff 05a3c93a72423353e3bdcc126c2d68e831008eb7 1ec3cfed52d239d54613eb7577f3b4a35b42701d 2315689993f4970a69249643212790a430eca7eb 2d4eafc74c6b9a723cabb48511a1a0822374624c 32a8f05c33f17cec15254e8a0c8d20b875d4450e 3fe5941934893b5422165e490a489238302826c5 4ed99af14d931f56a78cd23eb4da955a5dd89eb6 5d7f7b8b7fa950ca0c15b10590f3e413daf1e2dd 5f0797493503d8a4a2365f9c8eec899c63baefe7 6bca5681a757124a0e939b73d0524607ad137efa 8ba9cb3e0ea3c32616db7ee2b8f0a6cfa5ba8b76 8c46585ef52f73988ec2c3c3368a203f61ad1179 9386b38d49374085e55202df2dfb8a71b2e51c30 a350dfa1bca057c78391f1e6159ffc886086be40 adfa4ad3b0342d8d3520444498df1eb0cd75dc78 b7f9df5c2e72fcaa9a6c7d24ec469bb00ddcd1e6 caaf5c421b79d41d5980c2f71cfa96bb35c6965c dc2d3f170e37c5acd80b212e16300ce24e1565a4 f48d1da742ae6b8ea680cbce305b2348388cf22b07addc2441fed9b50c84968593d4ab6a353bb724 8db62e28615d4e139a28fa3d5b23cc3a3410b988 e534a9b777625967880a819323c4c374fb099a7cfba6c8342b038bd67b054c39fb2af396fbf24d32