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 #   VectorSpace:threads=2elapsed=62.992cpu=99.092gc=3.764factor=1.577zXZִF # VectorSpace! } {]ŗXf1-/6vR[K.}b$;" Q}ߐE&Ar&5 ##Tc{Kh+N #jP0i?Љ1E)zT4mOY\t"[%sk-x~O!4cU{ mNpI܁%$dk၉!%X HmN Aҩ8llZ ǔ(4qцv.C~sjP>o9&F?{ >uff_MzA=cx^3palq46{m`[ߊxB@g.wK:ITR +磈ȩqPBnyK,Z>O^e2@!\[-6.~GzYm1-m8]8(Y!ǣyOij;.Æ_g'VAK_E)3Two=%ˎA7ù OܚF]Hb0v+]HK}b7{L꓌1Gn`(!l[1i0jdϬ'D_G:F&p7sIJ&6:iUfjv\DHieq6MY֬ o&os@r+'jÊfAX1Gʵ+7Lv 4quX.O?==[aCM4 ȼ&.PN*d_4X %bn֘gXݝMiwP9mbo#2| vd5e|8( Z}wawfxeR|IZ~"?yy|i0փ`pp @D٢zxE(wP0D@!Ͼ ah.meWZ͒#:bұEw?gt$ ;YGX}&@$@I/3 {k9vAeƗmdDiL.( #."2&ʗۛGol )li(jr'pri ΛV,:IX'(@Ilq,gf} +*w|Eam@+n^qğnut Vf1I$$Ti#qkp)<}MwZʽ}pGܼSST,M(| I S-t9Zrg"*x׏@MJaLRXx-\w Ys#h_ `0*5IE݁6QF>ub1f:Rde W̟/s}as@d( "-V>s \Vl[ݫŎ, ^Obz]lbQv.%=wcF`*Lixu&ip^] 3ihĭVnkY? pfg0@-Gq:>#^/q ֲ^|ĎicE(Ԥ m 2c~6{XYF^G$P,D9G jRmS4cEG4<$JZ#\t7_t bd|n۲BT)k\kWHNZT|L{D~@[85Kmd]=Cy4ߘCí}ިkDH$-2=Q /^BC$1\S9o,CǽqGeAF]w;y/X+O?&u/A/}}|#^+Q-GS_ɶ?@]NV,k )4T+݃0Q:qK۴Z6zXKMUw[- r1྾] ;E(1fJ=e&`uķ<V)+#_40(AI̖d hAU8q:yM1i .Gђ[}sBŲ)L-ҸHO2GqgH1ĩfUFbW๐eEk0.7 S}M| 6pŪ.@(z}%%Z^-&81@ ofni8LTdV]m,MlS #LpbI% өN =rʷ'xt&a6$Q 4(%t>4|Rn"EJ%y(x&J)ҥ%Ljd2ϭH"@C%&jp-e3Iѝ/Ű̧v2=޸`/!N:gZW !7ǝk? =XrW6*I XbYvg("QH4kYz.3*}k$/k{rGQoJC/p&{Q 4g.PDkO1ȨlZ.,-x=)6}qnLw&Yۘ{uIs .K z =tD}Ͱ{K󣰋_9c!8OҲ4H& "9I}FzQT۝ ;^Y$dĖ 5&QЙ߈ nrl(7DdB2߃- 2Ns%vg`sIdYHTg`S *ѠC^$l⛭vF dKȳg+"r{brehJll^}gYZ7zXZִF! - ]ŗXi%Hk9qj FCGlt 4F %AL lέET%a嗹t\_aƉ ELOљ{-@쟚z[MeG#kp^|r>3X!@$|pi&C0Z9^tC+m&'IKq& rŢ//}̴IiG@Mk%̂:fw%.~38hڷH ?ͅMgd=:ؼq2Pk}"!Z|`wGy>£(PwwO5GH?5dK0ɨP^K/$ú?\H`'I@P@4dXaG(} m8loK>%xU5:7@ jVfZN $^"GLv]cr\c /"Z&|vѢߓ>'e/Bb4>;^nTcw=uœD &`t j2$7S:7"Š%%,pL^*d!CAk't8b6 ;6n6K5v^(f2= Z5h|GכGS$ۊWd?$ ۭ^Ť]s/8[)p S\`dE$lNMɵbbdw1UB JWE= UtX^sw*f8y,]݄j[!- . M`oNEvMIk[ ex؝c)LQK^j>W`D21a%ަVgхRVd2%F׈}1Q_=r3PjV"\9Hq&X(DQc¯3(5ldz7+TB{(=0܊,+s-z"LV[9S%/Œ\Du"m-8l˦!Pb6E(߶j'}r;r$oٰ)LZ.L)aƒ\4+}[ ȣʓ EwAZ@1k'<+-1D;odS-=Kt"6_-٥Z;ջO LGuk1XӉ.B|轇42QCqtzUljHK>dK}-TXa꾎#:ZV/7hF.̶LA-/8W4f}J[' 8zC/mv=RћӨt7Axm[ }%qN5?sSڵLudb,}h=%EH+E1C:ڸ%*؝++]_DIK0(8DGקF4]ܫ(Ȭ܆Yьi}[w(z *C j<+4\sH2t?/_ƶ xRs!(=3l*B8K.!)]c9 $5ݸo, p+-? 4'"ݹ)L FwwD]ۤD|uGhTlXAal:>MD*יʽegf~FSR =~ӇK~JU%ighv*a:h/Ɨ[PP6%a }x"X~&EN2sݮ ^&n"LՠSO.1W^*gm34y/F!Q;7'\ZȐ?Mt(^ʎqYxɜblB@zjHgua7Oo7ءߨoJv1sASXP'$!%crjQ NV3]#8@,-M =>i $ q8m̢ ''7D1!pP3W:#{vLzBY k2cb#H@p&خ `<O$+ < A KrR&<, {gbxþ3Q[+ٍjbxʰ XA 4+l|^A8'\vh99ؒA3# _`7ӤM̉M yZ2%iz^S`' bSZtZZuuߔ:Euj'iJ 6ػwZ -lm! SOhq3Zwv!t4?c=#A'Jl)@K=_n+--S?A q/6[-tRf\ZOq+#3RDuUU[ '} xs݅ũƼmL~cws9ъ?#/ڹ`Wvn%HњPɲxZskX7;  e'PEnLS- ſP%A<ӿA=yy8LĆ|׶Sɉ[A`̤bgr+u%-J,?sz&_ϡ̤fE\1dJa}T6Rp 8T˷R-}s9-@\wm7 e*y28(%/M=LnƺOeW*r^%J&;qG9wZ ߞ&o䩎@&2R^s -`'RR&&\#7OrGS_MS2FDBW('y:dsm8+Bwqn[da ?<*b== be̍'%c#e;rv"d,t1QW\F157=i@+ihڊ4f +so^>pv9,eڙXb`1MT) ڷ*IP_^4ʕ[̦RL@gYZ285d17beaea4c49771c4594a1209e9fce3c09a9e 52edb41329863c9ae149b9f908ee4716838e81bd 5f18bdf36b9b3e6f93d8ead37ce1a29c2f436639 61f78e86b17896dc21941c9e7d44c091156a8500 74f0b22463839de0f5941bbaa6d97557f05e9ba0 9be135482787781b9b22fbc99fe61b777b1c0add c0a8f4df891951f43e67a343f72afb8642cadb34 e546d7289821a29ee4e3b9e7cc40905a0832d9698c20d9719dd3c794171052bf139f7df3bda5efd9 787d9064b94856bcceaf7fba7c00dfdb93321f07 c329537f2338737215b0b9c870b75eecbe1c5de3