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 ., E]Word_Lib:threads=2elapsed=71.153cpu=141.156gc=2.908factor=1.987zXZִF! ]ŗXf1-q恈͐7ӺV 6 hD;V& _wҼߟ=\ 3Tջ6Ic'a .KDL$? mg/y!ip ]֌7QW\ hdSFqUbg>{pcLHl]a_ X\N B'+NIKʋ+(zfD e4iZ#Ey/1a&5EGrpx~-T,j%lHw(~qF?< ߐҮҊyŘTsH3ɻ>[6@ ho&.ǴQz j e>O"iN aJu*6HQ .AϽ2iOify0V5p.)X+2|i_Wԑ=/   Word_Lib0͔EJHFJZF>cȥUMolgֶ?V>7N^̫ղ>飑.BtFRX97 G7a,:YcY>ɋ@U8+(aPgQf5%~~ hj^,ϼ ºrjKxT$ikEMpIOǺ0QTF.ĬkRDFWEԔ3@Y"P ’Ye`ӡnTRQ>y /qÍm/n`#QQ@:֩OWt p^tm/U_E,Pd4|$oI ZOǪ&$펝0]*ak?38l1}aS1Ð=?Z3~>a hʟ A~>GՊh4O>ݐ"^I2c8dh0_{J΂^oI㝥? [lMHqDc>B-,*4{VS aq=>]4H!RtEE "k &wsNM#SB878,-4)\%85K$D[\:FT?M;[o:%; "AqcK\YL\ԲGUc<)i+*<ݡj7Vtܢ㔭(<}bJN5c-3wVRXўR>%HŊc_<.*`ݠ8dM}NuBqeS\)ciSp,A3ˬL@jQcrD;4i(&$*ZWI3f t|YS=TמZo $'ݖ2qm ptG#E!!}hX~*i*c6/k"w0ikZPC%JgKb0/DwAJI:MYGI`|x25I 3]>OID,{ddSY nq慼Óۊc'm\t_d!ŠI$ FDRLzNXd-)4r)[){Qnz =^]NrIu/a4v' W[C'R~QvB4VvatePW3v`(m0(CH⥌ۊ0l&V4Uk9bXOxr{ދew8xptf)|PJrD_a!b׸H%`(?T]xEc/ Q~-5J`S@(YWЈl7^>k#f!y5*ۆvA Olk)L}YB .#/b>:[&v#E=$sjt1 wnD\77F{n_8%m '7trX=ZΦ]GiH"1.6{,"aL&OTLAjS]: !+5N ѭy$M]60Bs 6]e֋R ɕC`nޢx3˰ylG^Y`&A^T!4zC!AK'2;-q<|cL6H:i$rQ\|j 6&-1ftSLӅQAl2NȁmN@*{Ɛ%Îwd_R+( ^H˄Cx[+Twr~[4Ai7:=HCCo]{8jotCnV {1?#uYs خ.L+J~ん+t\5AɥꛈF@IUwŨjӼґ2/ڄSIęA0=XeA]hvX{bdo4H=/4XEAa8Gq#Š􅁵(w͏|녠Š[?rŝ H|G~~ oGp69h=09 LX8;5 UKb[[~-@s@4%;Rm#wT&`puH- :`sg!kG3{uS뻫Fh.uպ][ܐPjXW[:l&A Z&#"Be< /3m]^2XU2}k |>ZڹU7u&ki2|9+caJ`q9(z1kv!!s4~W4+#>QI`N.&Vh:Vr3R)vJ[H􉆚)̒"r~k$$3Aaq }Hz{j[;n!Iuq)qުJps.*ѯs{ZJtv(JkX}w<-BYMWT0 z_%mf=9U$!J+?`xoPtB.KKʄfV3[pC`tG%. R<qk2VX% JT#md՟򸀯G%OK6%% c3RjAP>1垹 YS0H"=zDXI8:a _WC]鈶{O&Tƥx9Lb1M `t`v7Ա)[7,{`^OnQU6EJ*3N1z(,<l6U*F=Z8ћ3$48#:uz駞]3iQ/ Fxn 'ghln~2| 'juP룭icLk$ZT)T~ҜP5HFq׹4iEmչ40=>~\tބ?\Ef LL(}&Н+q1bSH?tZtE2qP/\?>&YBAx]TTjvM"HjqbªoM%N{Bh-#H*]B>tnai ui7OXjܨ'N0B2zmެ9@bUDuJwuQ+S23 @H!4_7w~*G% @5s[' [cfBߵS"(Q3-\M*NMq0\Ͼ&Z#r{ou{[q2CcF' "lp!}pMu!tW[̐pZhs+Gk.Ge҃#6 - ,y(cP\:\:Y7OF,gBo 'Vڎ*;b_Zx>:=呑 7hJEbxs?[ Av3 ~ kՉ*-p>ODS̸kj 052C< %m4~cU[7"#ӌXoEs)3yh/GJ$~Z %m"mAjLE%Qyd8Lr/av.,΋3zݒ4hppwG;on6Ӂ.S;vOZ/ xWt|臧8G+ĕ{Z#RNU=uШ &\`d*fYoɥW*27m(sJKC%)Ҁz(M̌whBvhF ^mT* ۥ6T1vl:0WQH5Y-@遇hi氶HB=rS2`PO57pdjD#\ş\R#Ϋ dG!)|~Ȧ,}e9}''@»j [8$D~ޠ?o7 QeOX8J*& NIi*r0.`2L `[IkUqH X<>"z`cVw*=XpcM ts[Qm1 Y;=Vqin?3KEƠ@{$2{4m Ô򺟣r,q? O9;|YyﵒaތlV t)g{ΈO `%m+/a6ܾ,AJ.*P'/A?CN[m xX= "PgkBB `$z uW~uC씱䘺vv6pVGEDn7 tW0N3#?jZJXRC)/& n`E w'{&')iU{l=LϿ+GQw:ou^q-,Vc%Ao`7ExO2{.%qykd KcK[ݖ?"tbƪ,ՈS1x>_$5vBykl{ 1<4i|:.4hO8WՎUлwЦ)?A*= 52^<jt6N7I_+غVF\TY5b`SWw<@H0΅B#86O\RoH|*>NWXcF%$սҕ_sZ0*А78oJ.Hddy~2eLLw ?\=DpYֵ"_ÿ7[k/2 )O\Av2a!#$%rHv4@ 5~&YKqs дqT'^%zac,5ij?,ܽ"6M^vL# G6tzcڌw/8 ܂775BT.6Fa`?_.ş5Qv(q i'kWeO]&!6~|Cl) ސE[  a:$g"BvyY^Nsc@Q@YJ rHJ+. gI{o4b$*}}OKqwK+]"F̀r#,/\c'*Z6Q_*@N+9rGWrh^ Jc9S`>enb3fUXn*) r9:ŔFl