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 WMT % Password_Authentication_Protocol:threads=2elapsed=97.659cpu=162.024gc=4.912factor=1.667zXZִF! w]ŗXf1-/6vR[2Üd! kn8 s$g mWL>ҞQ]2Zl{$¦[Ÿa09 fr-@H9wjK8lIidBwyY%s=ڏh0;DsxD-FZw,t: Y!_ʪ}prHo=:5TF_Nue@4l{BEgs8Bh $7R$Cap ]Z5vm*( MElSD.] <PyA Iw]:c_? pKzZ ,2,4=Cu׾0m5qlNt@|=GyB.ڡCeq=_l=\"l&!^Gn>\o"G:#׋ħb9`dO%Vv_TPm[C0#sjCldp4y|wqHe`۔z>̤g8xd9+GrtE{З2bl.P+!.k'CwHBSB2`0tx_@Yײ@2m\ K"-:FXb$CF/e6boyՐ k .9hu[hM1YL'٨LF@=l(qӸlk|5/S+ ǧ{G\MeY[TJG&i"l~$d;5=FgMIqbO59Ηtk(F-4TNKw; l(tӭǏ9Эj ա]{A/b~յtT[68K oNw^}#A)V'a9`ˑDA @Km1%mL)V BP[6:"[)7o\ǟ #H"qӔt`Em|@èlnU8[6EI!{$O9+"bDynn=՛XF)l%yw*fcH;#p;r9yNr Fwm28`&V=k 9Qph}(鲑yW?'Sq4J_4)x}b{M7^!4!o0q0vxS7dTzt ,걵7˻W Uh̛\ oq-PvXd2lꇝwhU콋C硣 g 2?6}EO|My` W{^;7,VUD L1S:od ţmBu9èS¯Cb(QӤ_Vk{uK,&,= v(@Vz@oX<`Qc E2jg>艽EgYZ7zXZִF! @]ŗXi%!U0&11N@9&y*#K \]lh|4<|6R1Mi;vkPuoYHm ڡ"ۀ^.Ԍ#-} ^ԮFPfzD %/۪)!ЫmCkVe,S@E~MoEisP5]x{JV0aW_蝉i ""W >P,/A̠9|~Bk=ԫ'xfZ!A$=a~*0CgX%VVkcvPqSञhon^0;%!ecTTb AwEmطń:]X./Q1' ^Y5E*+aC|AkԈ_ ݹ[*kD%cWҟ0W"?\OG'Jud17\3p}25x=n}ww3z)U>G/|W 1N+p)=WE5ءɌLmI^ ,]GKÐ܊U6H@Z3nͤ!tp"HwD> .bqPZJinkZ/= _kTjVYmp L̑}l6ݟxVR$41m,oZ+2rcVeȣI[J9l|dc``hSdj1tz8 K*ަ UR婜&XZ麎Yo y;~_Nd[t_-.'Nt86U*y}7Wf޳܋yLEd;}u8)ш>@9H>6k˸ғ2WI qUmtҩw1=V.])6^$/LmHN.%sӱx]:?aD]bNNr#g4==6޿`BBu< \.Aka<kޠufng*7{gTC:NyAƺ@=Ձm7%3`їSe#",Be U"6hrab}+uжd"͌ HY3J/'8TkC|tyT rAAOg^|tyGR!BllG&^#kI$5DuBfgPHn; sQLN,^#.>ghUC.,(=ev3\7%zI[Ft6qc5ۀ.gӤ,WnÿVd}t!xL6QlD9t͌v$pb=p'I*a Us*Bw^_mPf*2b.}araOSJ(HDwYc!RgTPCi#,qJx@Q|G/S9dqi'MMoAց/CbTf _g3%IzЮ^xXPT<[{QE@5Z4/TЊv|':HMxO]8NGwȺX륋h5) l/'̶x}t2"-:W.ZזO`1ӣx%BGS_P=$h*DIՎ:]QxnUah uJ ; t-`"<DHezlbFDoQiplvUs]{u&QZ3mi.d!E\B{wn%bzԨ&Mweȡeʋ{' v_cFj`x!z4:3oc{5< =QթKlү<S!զ垸z|%䭅UA\S4Y;5khC7KN! 3zofI;%! ݲrΝS"C? =O^Sʖ٤VJH?mr&`1RKX]]҈P-8$1,sex |@Ʉn/Nl|1OT3vL8mƪ"o 7``kB.g;!ܓBElC69ێyk4f=j,쬉~i @Ddu{ƔHT{2_dOq3 ApA}ͯU[4sTl_+բ_t?yco0zml2ؑkm!7>/j2)Yٔ8s <Ն4\*ZNv9UMv{T9fԊnGz5mrtвPwfTpx!G;*n3l\nbow& gRhbXwB|IcwиV똅ӅsͷAbV Hϩ3dz=P*ϧH6bkJlDžؽfȿmWj /^POt:QΝؐIj,h?{_ :ޫ͂c3ZU:PWM5 s67VCfsN[kbB!~=lk=CGv%*)0ߍtG4n&5nQa-%>.co((772)r@{i߸}d[o#,Ө+Wy7Vx?G8x< 8+hU)l;U0C {;RZ h"pz2+9w9ԿE,9GTxliHz3UD+?XFٖ'[o`=$=Sc\ ibrO_~\J N> ƩZY}h]>Ttكby5.0'ޒ+űgYZ480ba4aa58d59105586d2000183ff5bee5cb782a 52c30e72644c298ba06cb7e5d4f15b0cccef2659 ea6b7b38328d1aaafa37095fbb1796770c2835aa f4b31db9cb69147184e4ce16d616ef9040dfd654 fac45b2e7c5608bea50d81361142a8f261f776ddfd26823aea4412c74308567751ae895bf997201a c51b383787a599e178e4e8b340122b3ecdee1700 dc2961254cdff5383e97fe7701cad91d01ec577c