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 M, % Password_Authentication_Protocol:threads=2elapsed=93.721cpu=162.940gc=4.732factor=1.747zXZִF! u]ŗXf1-/6vR[2Üd! kn8 s$g mWL>ҞQ]2Zl{$¦[Ÿa09 ao m%;) {L03UjAeB{@+Ή>$os^k~y=,wo,YmG(C&Vd}~ :Z.us 7EF/Ҙ\B-UQBft t,Yмm5Pz]=E"K^Hؔmv w15h?5_ɯ&_zS@$V0ڻFw &9EH8L@"/Ry okK HKTA;G/u]*%j  8ɝ/~9 ##JST/":Ţ4燆 |E=?Y} ʉxzEkp6ZGcb+Zf`.1H}fraopxEy]-rMz$Ň\5&I8d=O母fy/Z~8`Max 4J bK)8M ]7~SYCƵV`3o83?ǾVYulOB~vk?x:jW z.)7>x<'= _X+So_bH{,?+C ȬlO͂kEt}zIq/tw}+$Hc!\4u[;`"n $R' >b20[0kC7 aS݉ Ѭ>>I6W w ~"dkHU'QuoԟP4FCLU\\>ÿ7܍&'(7@ Ip\xYިi˦2@Ud6,g_+bX+ؖ.\*cܜZ $cM\ &bA΀ sUruػORWIh)JxO;YjDxWuSaa]i9q/|}cK̥'"JU b t7:PϗX`6-fm& ӹ />`jѻ/xκd^C5:PjR$S^!6-j ؽ-V_hqjhHqJQ;0P>'4Pق RNyv=>@Azt >If,z5)Gwh Өoe$s&Sr#Xm.пiU$s#́.vAmYψJ5zy!4-b`t6{)3h/ GmݍnsWmt )WXkhNVʙ1injФ=jrOf]**iCx13&ftVoJt,ro * ⾷7 {ߖLX-k^rwU{2_7=S3ѭ+(/sԇ4enB?%* 6-$l=>bAk>ʁj-3YMἦ٘ENdљV ؁sȔoY3,cֵiwD_ߚ/_CuSR V2{1Z:Z x/f6{Bc͘mVV}p=?+GF=G{ղLN-51GҒ,ނp wjŃzTǠyMf $qHE'O /PD;'8kvv?R&iØnb@\O"k$oqޅ?aIȧGb16KWɺk_PlQ*3섁wo_YoIAc% {Z-ؼj zAߍk0h"-{hNJO ZXr80vyPKF]wtThm)`/w̹/%,| |#nE= G8'y`|_`ێ}~ AnzO%E pM$ {e`}-b>c(f &]6]vOAljɶ:QWg$'!=`ǏQ,cuZ$݁:utN܇% ŤNօ`UV5.ߑ}r\?+80jm aDkFO6s =[fJP˄QlNZID`ǖ) +{;!EoؘػwGo˱f@,bQީSj,nue~((e}\:[ϴ8+7:Vjf?fIu_^ z4~EO2ߵ^†:&~=xuWԱ7<ʴ!U^/@A \-4ztUa;KR [K~+GT_-Avq0 bL)bE]ۉҩ4PdIi]ŬPC;Ea߶c%,_#o쩗R,S !Sգ=?s{J?tV,c$]̳xճyr])ˠ6q#/i4XH^|ZWf5+˨~Vxv`.+wCZ%n$e9QTD'|cKה3:r+ms$8{O&~57՘Pq4[|+CYj0q_ И Be>B+2=p'U,8rՅ emՈT 8o 3a3-ѱϛԀ%?<ǹrzM Gz\a{c[3F'ZFͿoO0<= HA"ked&`r#sA7K,Rѝ{KCs"6«T6V Tg:eL:`k3Dj5JC>':Xc4t_F|Ԉ;XlAgs{KqwHqdLXǂ`Rq-31 SNO Mc>raam3H%E[hQ>&g3'(#;p E]k0c1G[\_=7jU9lzyi{{a=z FrSUn@J5b?Ni^N5G6GjRzx^}m R_[uS∍Ԓ +ܤ_Ydwms l@BUT nf<`J/:4R"Ƒ_Pe+I)9x8HN]P .tNS  1]EU l.K3%8jqI˥SZzki8xrO@NlД@%^Ʒ6n"Gn5$|UX韛O>(mi1J:(4f)K x!fJDem|4 K7E #+CacOz%1.Y,I>=P秅^3 '•*Wyݓ\JOS%5k32{CGyBM: R1 m2,Jmњ1k \)2 1u WZX՜1xdE&N)bQm1q }/x4zɥK+@yFr#BϺcq";5$^i jCye1| :+yi”#֐֋ !}#u/rfhBbA oY>,TxT3H ?:sS9$FۭU\ьkQ0呁O[ 6'BN\<*rH1b@ AoIy-`n94tʠފo!Nh93Oz; U:.G$~Yn)sENjVGվyrJ%1*0IHN`n|'EHx_8 'A?ج[Mx)>qf`Tt 3<)?ﭒ+&L ZgYZ480ba4aa58d59105586d2000183ff5bee5cb782a 52c30e72644c298ba06cb7e5d4f15b0cccef2659 ea6b7b38328d1aaafa37095fbb1796770c2835aa f4b31db9cb69147184e4ce16d616ef9040dfd654 fac45b2e7c5608bea50d81361142a8f261f776ddc7c621c8c679c6f81c939be460dee2fbe4c459ff 6a3b5f35a47c619c2090fbc84ef59d242c963bdb f013446ba76027b3286f5b8e02f8911162859882