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 T4 E]Word_Lib:threads=2elapsed=72.964cpu=137.552gc=3.112factor=1.897zXZִF! 5]ŗXf1-q恈͐7ӺV 6 hD;V& _w]ӘJLU( Lc-m4QUF>7?bߊk5a-w' n1??A"Ad+smN+ ЃltW|O~`}olg;5^zh?{c}CGe,-N) 7b7V. T_ЫL=ƛo&M;#y+d~$Pu,QcywP?|闑#DR~|]qW .})EV=\g8}6a6G[ߧ[ݺ,2;o#hkHI}v# k2t b05kR` k dW=oF ,dЫ5;LKNntŎI|?U 8t7,΍ f dHDhQ'tuCȓ(7!yvCH37&31̬أ7.4lܦ ֡w-1+9u4\]],`zt n VD&v0>"K=#U;]#]_q2TA>v 1*[U؏zzz2!|rN2imo܎$H309;צx=5 _n*?JH(wsو*cÕP)` `ܺG<g5=X(x]Z!"$›i\܆3<I[| bLww;|+ I|Z/l 1!δr1~:q0|)pyA$UT@^Bfn/c*X/E }d?ĝ[V[J cDcnT(Cog$JQz$&ۭ@@5jұgYZ7zXZִF! _]ŗXi%6ǣM-jZ"箾kBƞgi($ֿ$w&@P,:4&d__Ro"_܄ :ZJߊ8Mow hRc |5ݳhU{^P4|RNנ 9|o`h|g&rdWJbјd' J1c/Ԅty?pp7Ŝv/: >?w!~ƕpdd6''N";CszoFd2ᡈ$#uӥ~ AgMRg<p DUճMa ]cV&IW[w>aeFCqxfGEbi)SeOaݐfo@U^C` E!!MٝXPz8(Y5{ оtȤ%YB+g-Ͷ6+$RGoS:!lAzM_:z$4`0 {&-&;ǒʹjf/K+F9ʌ?JFtKMM.GܲG]dQa٩ѾmXUI-mWD"-!oNvB%y78D -9dY!YPy%}^qr_4 2UZ*a AȅZ8E b˾nabe,[ځuf1 e7UVƽ   Word_Lib><_@PPS-^QbI7)>g3<NLm"^grUU\p1oAi!B D^KAX^y$p]e,օ~"ueh7"+M}̶Ig (RĦ!/<$!*-n* &^k4 ,!;Zp_wGO3r}o';!:5 ǬǮ6jxvaR0Y*Sd+㲧kć 1 SS Bk%';V (\Qvm6C O0Vܿ~B~a38ƧpX{0 8TvެoitG:9ǂ8 QPQ~ 58 C/o'؟r몡rlȍNuR^:K{[$>,dd.<qTrJKȅh@.8%6=)Wn.yp(n)a00֩ e(qBuA%Ŗj#cwvkL|o{ 8o2@>1U 0?"h1I/ŴiBTLr2Ze S]QyiZV6 e7%)(Na2f|;!$ʹEN%@Zli|Ȝ(ǷMv.(amH8ӊh#kR\03Fnӟz, f9})q$rst*5R*~! l$% 2MܵQ VY2–,<ֺήU@O!eҠz ?ar# }fA){g "_g*9AR+"Cuy<.)iB⋊iz5HXۺN tW:1)@a{ s8U xL!)fp0uL`"pk;է٤d?LǮs";UWǨ/mI I0K˧)b6Xm $"|!~{kh'MVyϋ* -IXd-2br.܈_.KwȮrn<$@ٱJ5UPf9:b@cʉ +5_Yd4k%_݇K?_& U;һgyi%h?@iԆ0R%sSvx]REQkħ/FؘC@,O&䄷RBd40JzYJ],%D$@F}NL {Owx94uk.xV!77G'EY]yHQb@шgephEm1%tY,D$R)g_n.:):—Z7dlY,ѻ-_6W'V,8m"{*Ԏ#0}EV$^FdD(sgey;?Aǭi(yN=ܥ^e1ꐙ69ogOrfΰA\4#?<޲/iz1:FgH";O"rM(30ҰAO_r0KD*Z$aYn=1 u e1 .KqNGwqZ@_'qj-X͇2cz,7 `swO1 Kt|RJY(EgN ڜw[u9Ei'g:Kw.e`2gݿ`_o&/ss٫XI|Yފɓ,ͭmMdET&6U9{:OPkVy)ȗ0 ƃ pENV+[# B$X)V2„8=liNJ"gJ`k4)mo=g a79=}d'tҰqcT[/:.a{ymgYZ00061e4601716a25cfa8f61f253481bfd5760681 026f036d1e50a5fc0a49186e01329ceef5386dff 05a3c93a72423353e3bdcc126c2d68e831008eb7 2315689993f4970a69249643212790a430eca7eb 2d4eafc74c6b9a723cabb48511a1a0822374624c 32a8f05c33f17cec15254e8a0c8d20b875d4450e 4ed99af14d931f56a78cd23eb4da955a5dd89eb6 5d7f7b8b7fa950ca0c15b10590f3e413daf1e2dd 5f0797493503d8a4a2365f9c8eec899c63baefe7 8ba9cb3e0ea3c32616db7ee2b8f0a6cfa5ba8b76 8c46585ef52f73988ec2c3c3368a203f61ad1179 9386b38d49374085e55202df2dfb8a71b2e51c30 9d7605e1ea9a93934b2613d7b81bf2c31ac8e424 a350dfa1bca057c78391f1e6159ffc886086be40 adfa4ad3b0342d8d3520444498df1eb0cd75dc78 b7f9df5c2e72fcaa9a6c7d24ec469bb00ddcd1e6 c043a99d737578df868f29c83addbe9ed9f9c34f caaf5c421b79d41d5980c2f71cfa96bb35c6965c cd3237b53316c58230598e8b914fd4c991392e4b dc2d3f170e37c5acd80b212e16300ce24e1565a4 f48d1da742ae6b8ea680cbce305b2348388cf22be4688efe0911f3c4685119d2413b25847e9bdff2 e62d7733884c28c7fb0a292b7be70c4f22bfd1a3 7e4d755c117ba7a18fa0f08642ef0f48718b83413ab0f9604f9b78592ee41986ba767e1602ecff21