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  \ S Real_Impl:threads=2elapsed=58.666cpu=113.260gc=3.080factor=1.937zXZִF! |]ŗXf1-/6vRZ*Dc,T q}jX,q~yĎHA'? jXu=iq'oI(֠WOo`iZDa-fHl5c]LiN 4vEc)$ÁIjQ _5rI XBNm{?ipF$GaM/Aע~Spz{UZ[1X 8<&mD@$W闒` p T3IDM>ĄCjJBk o(H]@E:YΡ?-cğ1]r6R<7uyKse'&)iS(b~0q3RU$v4X-=8 g (_T[hYIMbť}Fw{]~O;pb06c6Q_`֯=edbE  _ݽ?q!̌~̐i)lG7gRrz'L̯c}>b[iD8֗|g꽚 e&tsѯ   Real_Impl(úȟqD \}DMXtJrK#cu":helLpB l(j^x ̧,OALYr&*8g X)eotk"7Y"#Ь!LK&r1_itNǛ5ZBhdC<لd__52mHh+ftC #`\B2P=C^MIZ(G7W :MG8BaefR;@Q,CbIz{Tu60-wlYQ.;eSҬϫ2"!GfIqr8p&<!c #ٖ:&~͝Ckt(Nno݆]WTDKknL^鍐#/qvh8.wIHvoԋV/;R[En;X&/զfeFV[#,<_qQMɜUod2&W'\Q%Ȅ`tg' V]K9*Ak3>ir}zhQq* t=/p8.x^{;\Awȁ^ܯ^iC> Yy}>(f8 ǽnq(& -_KEqнf>XF^NoՓQ z:ÒbӃD OH2b>"%SLo֌>' I9;^% TR/ ;Y3xg Xa ~^{կ$}=?Ԗ()&e$8ZtyoCO#c01;ltvC2 \25/kP,"߳5_i@f?"os -XmG@ F݆rJGs3hD''R\UI F?j(l,{rOg7<^BxZްS{50// r$ bnXQLwz $ƥ$iaϹ^3pL&< 8'?3W=f>A`O oƫ (K\2^م j٫9z GXƩ#B'اA/"{;9QYjanIJÌOc$Tn&h)0qM5]7|-טAT _e4sz j=K: q|Ph8[';>7 IUp_el.ޯRf6gZ32!1XiR' 5P:g: MG]$v:S;˜EiYZA%W$V qU O"GEtGVFI,8O`M1|̶?N%Ȣ#z' ] YfU~īԨT_$uÞFOuꤔQABtO§.JRUP,9rDA̔f&SX˫0?M0XKՅm0 nf?nފ#Hhѭ^ jX2`-UN5_ ќ_~<}@s]z5 a>Gz\6I">&DžǍx{69rVr"AQptަu= :0Өރ ZpBckGA-t5b;4"_x̶KbqV%i"aww$B=<=x͑|ƠK2Ί rV:lW{wYK&.vsN[ $'y<ڶz#Uкu0Xh+^M.Xyv !%[,E9Ǯ,ڂ`i^]ThWbjJGGINSEr^rCHR[Z h.AިD kmo:Zo.ʲ@M yLh.ߺO nuܙy6GyH6ӈd6>}۝v+OUl^t} 4ƾPBaE7&~2Oґ!7}>MZ W g'5S3Vqt{ejibU5iR͢I[g2'# NO:?D9slZ37 +Ȯ|~FNw`^ E0O,A)WO#|-mW.ߕx_X#ѣnf7ԧw@[Tmڬ􃙘j]jRz!z;'*s ~=Y->3m,fo3/aM x[uj=}Ɓy C< U}/ žKbx#H;f+BOEQo-gs(՝pv)w GӴ$:cSJI>DdeGN܎f3QAcN1Z*';مHI}cElJn## ؗm\>O+ntdX$V'AÅS|qaË# ZE҂r.;։K:sxEl[e]PxqƟeXz3~0vǗRR-|x=v]rA*"aAmz:!7;볺/]L~cT m-֕oy3$L˒e7޺~*3u!2xbK_nM(vVts3 ⃕Ȩ[z';oYMt#ҩT==dK۹ zg" mf^'Y~yoMãfo֦=~i {ei(zv,Ё.`i֫d Kb|]K/Hk8KGSY6=+j /ԼtwףY^p*\ghUUnٚ\lj=sC*|ѻKGb;A%v12WIl̻؏'MIeNMkO:AݨM ⣶͆Tl7o@^5+mUċ =YC' d&Xt:gɨJBB>'ӂ} AHsmp<$[\Oos{|0uMVG4WBH^qE`@͘ާ|83zУ|j[6Hbu=+mU9 Ԛ+~!_ڠن#7 Nۘځ3DXQ! D5t<<'N>OH_t2M>kjMB.0i)!({??/^V uHG#0`%L|^Jh^@:/$?&Zl15Tv8YR S*9{R*ȑ~1@*i\6 U{ZSOUARDf@f~Q80H҆~ [BeD.Uja&nO 6bcgXf1S!Y38]mjZS5VNSq^XB; mc>J*iV碤\(rn{ i V&FGz5`wTtO Q?(l<>ksqlJP/HT~pXͺT/sW$pRcG5VX9=Nsv w5XAgeN~~ZŽTz׀O^r(ZRy~T.2=\Ux=>z0,&n;k 8I H!c>[t|GDTwwǵ1³`0=6C`'\҆D/^(L+ђSkүxo$.m, +O>* ŵ9Q4W?J1x:ܻBiLOuɇe/q:*)R[gYZ7zXZִF! j %]ŗXi%:i/{씡A <lbt9YXhiwԊ< .%;N\T*NP\II/^=\L㨩t<Ѝ1_oBD?t~LIdK " .b(DH2 SK wE^LOt^f~]{TKƏEmq u9W%ƍq5h wnfw'y"zNWdn_'<%}R%Ul IW:YhmloDURK.caTӌ#䐠T B!ƝW(Y!] F?V|^͵Wc-|)0A[W+B@rKt 1f OLJCuSmQ'SǗQ ܬIq _0ڰW0} {xJK-A ٲ(?AᖣqlUnSOO)gpbt*D u=BTΦ$ZaO(_$}jOzE EV_wGǧS4ՇG4Wo !EQn߈_Te8SC[C<ޜ3pVd8&.PeL/)-~,;l9uw' D݁Dlʘv}jE뭮+|>E<f7Zҧ؊҇֘Z'qXU;t=fQ4hc'`h;,9LO<\$k+s1Gp%62 __[㙇yت Rs}L{go%?B5 oCg&bWmZr oSybdLKۥ8A N2҄Q3E` R٭%y{ Q{xpԹz|jfJ}@bH1u~;Ͻ"7tT=S4\2JωZ;'#,.XdrBlцR)MtW(,j睑3I<حN~PCA~}7catC_CCտE:z4߭ƒ|Phf겼 ߯ 8wxf`Z0"G'SpwZF}B;j(p L cR<$HŧPG}SwB[KS[gn^A85lҦХa,_wbC*F$麍'eud6% FLc-Bee