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 ~T E]Word_Lib:threads=2elapsed=65.180cpu=128.460gc=2.552factor=1.977zXZִF! ]ŗXf1-q恈ebLi=<^TIKl TW3%鎀@@"u@]@F|͘yަaa.Ai87[:-!B8a^ː,Q^~& S72e[pY>t k/'Ƙ7   Word_LibڱHxjUEeMppw0K q+~w%$pi5 Sjvj`4.yEgO*qE BJ ])y0l\eYvjjD++Nww}-&FH#e`_RH(p- 5c6=-vҲ^>WE %?~~Qr)tbOQKoЙnC!ZFD2rad_YwXQ;y`9:+at/hfNUpAВۥgOuzCbh[XҔՒtY"W&d?6%.op%PeLbԝ6׾o;C0(]o"׎Bt>Gp#΋fcF'E{eC-(1FOIohS<%#n#T+}JG T\IV>(e{mOop5$SG1]F:nqE`J<=[(2xIFSJ zDZ|$';;HztOW' X-BǛ0V Ǝ`(O  YX)2:вf#wWa3cVRm3'?Zq,;k,kjUc7iW<fHain; E^牼Cgz}@!I{d>24m]q On"y]eYc<'KRoeO&ڽ&>nwQʃy]Ɠ~iпSoտbS8]qTwlF.QVI'䶧aEe-+S lt |S[GU;7#Y+&.6 \P=abpL4)0~Hv`R7QXsp7V`>DZppWȴq`FrثvjCW"M:s!R @`?J>)P*_F.~&=!"&YʜGGl+A\IJ:1l\bȡdlbSAZr:ön犀ޓx*=C!; J{?t`|Zk G" )rbZc{YW]~3:Joht!AGivx&^÷ =hUcVZ ԪLוq"ɖ˲^k'`@ 3TrdFƛ%lSM@P}_-PBl'5}1r[Aϼztr%N4]cRؠP@}5vۈDGQD )nHn\?q\c|GwksTjbY {E0 C@!Ur:Av ikWuFTݝҊО. '6SYQ%~R w(j(b'A0:1FjZ&'-ϝNx(qd; d ̈Vm|%k⼎1_2*=y= w]@&gh/^PM:x7 fs`4hn9Q^k5nqh%wL QD[ TURA@ܑRiQr bpp"/*y=Ǹ єn^vCh1_~Wрv7tO_%9 kԯi]PJͱ 5̥>ւTͫ20TOQ-Re\G?x#+Zh _i:]ꬎ}`D2M9x6ܟqg%s|C;6%zPzJS5 pACpumJ}yR_7©{vY ƸQ(V-t=EFlY2P9*RpJA nFP/Cbv\HM5P#a:gYZ7zXZִF! >]ŗXi%DQ.UŷrEƊoj6ͦ=$g&i3!h.!_XXި58{ o-zH 1 <;ݏGT>pm "3Ul??X>22kFsړ#{!9^ at`Sr w4j_Ƽ@d|%݅a.2=իc5Qu62 3>RG:7.on(o|ou%|rD dp_%sN&p:;ZɬYmۉ[ N1Gwmyv.IJE|o=a(vGбd">JE*m.u~b.r~3!8Ccx%kC1J?ذ ?:gb64Ag;0vvixqx+p*(1`Q/9^cJ&ˤ)\HY CRRfMGC`'q)#ᴸ9'<X>Mq*MgP4x?ҰcP؇_)32HjV(}U,ǨM><@ܩ#(a:L\M!)FQs\T˙e9ӳTSˊRޔvڠ3jU!Yqx+([bы'%@l호59_ z JvjlWpЧ7KRAW`#F:<UM)k^z@{"t *˭F}%K@]eRcGH<e]oV<ȏ1}-NCw4FU).yMry20Ai_ q){g#Lw ` w B{@|ɓYP, Aa-ٗW9^e[+bm+iQF6񓆿hqqm ǯdwHICwm<"Kեekб^`:iY d{݌e@[Es;`zh۱F7!eKoԥ\jyD QXp2J?X/$00G=+z ޟDE_p"Eq`Jy $SA;V-[k€ur\W#\桲Ke0t҉\Saä^ ̪*VӸ[%>Z&!y$ޚB"CJI5~u Eg $0洡/n0݁TO 2rfMk[:9< yJuژ!2гĚziTi!zrJpr#HыQnciQNS'+Y?Zu&%_hhBe;p^, ӱJ- 0 u&q-XM"}H%I\oHøe?h)~&})&C饓 S\}d{PaT aGhCuuqFWӝ&;F<qCI}7U'J+C:'y Do:Q."gheV^ѹ>%{iMdÛɯL, QDj Ap.0:Tv𩃢R&9s)Ai+!vݛ Q1u`>;Vưd,*G{d2Lb0YfWgi zB:/^mOeb0'C$ũVgL@r |x}ifx Ɵ(GAH:7$ށi*ҕ[]pTk{=7ZXoŲZKkGi>g~XSJ3c!lUCU 9lӷrfc_nFЀA4Nk6>,*Ơ,M[5?0_MQ]{<Аbj/hBGv+xBKo҂Ʒ/X;/ӆ gq7o JF\x|C1^M5U^bTw wBxU zo@[:z +#Cѻ[+QgN6#,lm"nf́G^ iؽӊO (OleJN EyڳZ6(' #a[{agYZ00061e4601716a25cfa8f61f253481bfd5760681 026f036d1e50a5fc0a49186e01329ceef5386dff 05a3c93a72423353e3bdcc126c2d68e831008eb7 1ec3cfed52d239d54613eb7577f3b4a35b42701d 2315689993f4970a69249643212790a430eca7eb 2d4eafc74c6b9a723cabb48511a1a0822374624c 32a8f05c33f17cec15254e8a0c8d20b875d4450e 3fe5941934893b5422165e490a489238302826c5 4ed99af14d931f56a78cd23eb4da955a5dd89eb6 5d7f7b8b7fa950ca0c15b10590f3e413daf1e2dd 5f0797493503d8a4a2365f9c8eec899c63baefe7 6bca5681a757124a0e939b73d0524607ad137efa 8ba9cb3e0ea3c32616db7ee2b8f0a6cfa5ba8b76 8c46585ef52f73988ec2c3c3368a203f61ad1179 9386b38d49374085e55202df2dfb8a71b2e51c30 a350dfa1bca057c78391f1e6159ffc886086be40 adfa4ad3b0342d8d3520444498df1eb0cd75dc78 b7f9df5c2e72fcaa9a6c7d24ec469bb00ddcd1e6 caaf5c421b79d41d5980c2f71cfa96bb35c6965c dc2d3f170e37c5acd80b212e16300ce24e1565a4 f48d1da742ae6b8ea680cbce305b2348388cf22b7df075489bbe200b6262e37edcd5270d19378d2e 9bfbf87d82e3125a825023e51521c6c0733cbb56 43a0916975fd8fd7a39f263ad02cb82da7f42160f4c3b1a8715b8668e2e580ad0b0d9ada08b98571