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 ##2)$< %S Multirelations:threads=2elapsed=108.390cpu=108.296gc=3.968factor=1.007zXZִF! U]ŗXf1-/6vR[lRc2qJ)=?$~)LX8z5i%HـC&a! pjTi>T_1(ZhM2" FP((^?=q8dA* |3Iכ]]R(>cd<0seUPvV[ PAupN'/lVy Vgd\C`M"̋Ve՜?nl=A5FH)(Vf y  bo8Yj:d' sVqMqe *")ʃoƹ,T@` R]6j[iv3R +]!Nm>"pƏSB\,~ZYܳ e1_m?唟IJ cQw5Ԕ:4.oIR+VYEl@2)csi3~uy"`O鄉ns%grq0}ܜy)D$BSy?an2r fDjgI9OwhϠhX]~ՄPyc`>hc`pչr [gbQ'0S`*ʼnFu$]!6Ɠ |^Z{K@{9 c2βd\D^g rs`Bs{`ZrF](|.K,к7l룇`)ޝ~CfncK89qPKju݀Vc!ᓕeouNPpn]`J?b2͛|۾I/_U+K-1J a`)HCLˬnIuAmƮDF]١7(g0TZx\jS¥uy!N> #3hK+տ0bd'⩎ӥloEnj_i0{7 u YSda7~e+3SVQ+ tV-1s~Dx~yzH1٠bzN~^.-j|[uM^F Ut6:́=c->[㴰U p?AcpXiڙ70J_>Z"ɘd B5FʕDi fh_ K>K m\\pݏT+ήX MTU^-W:!'1J^E?69Yc0hSk؁-"o]k?y)Ŗإ9؄ (/ʱ~wrngnYi#>}V̬ň1~M\0<>bvZZjnv5LDүn\V^S~tOp$ YWTNLB$DzW[JhfDWe7NzƄLS{X[i8AӆaԒBPT&+mcP)m<ץ !њxQ2/8+sWbRuH:.ͧiss|Gځ cu|„SPf^je{)XY' i^7JZ HC՚z3GP~sdrn]%;P^@c?B³ŝ ]<9Vcۣg_d0j9xz!Tq7.T[jRU>jw4+bik0QlyŸ];IVe?,pT3WlD*Bc[_|ְ&)_ rxZN75ԪDtSkEz 8Z^= ӥwm XP) I`alo^.(!2׹P8 +X2|\uv%^C{QӫTGHySmyG;?G;p70+x8ҏD30/Pv9 (F&^H">8x ,9ދkJQWӲվhm.P(JK*c$)cq6Ho&|`zba*p c &R>4ɢƕ\u&pxxumKELEBFT٬D']5˔z &{߲LuzR.ʳceRmZJ dT^y5DKKpBhԕt5E\RssB!\scfQ%2@Դ\\5b;?1vVl<+ulhiIoM&cXߴˌ *eD>K;??N[=xX -8CS+>G_4j_m`3@|Bʈ_T,"=y.t ̧FA:a|C)+H?$ksQS !֤ FgYZ7zXZִF! ]ŗXi%Q$,y c”ߋem6O[ VݧI]5%EEݱ6nj)IKZ"a4CL !?Ϊ$D |NrXgNGkD؀ Όi\g4"yw}@jݮfw a_x#v́ QEAlb.Dd9Qg*r$Yv7~WFrK@c R^]Noo}Uhoj~8QX < m70ʉv503PĢ$*áaQ}i,7NM9^t8Bl?kw?onU=P>m 7*4 inL o nw3(> R@c;4rc"BsD}>ۋSe,( fEώ$ cX1{9J6;{Y/Z>-ddCO to!<܍l !X"+M!(#]1hIS[o}RhFrMBF]х@}|ɟ\963EתyӏD̵7$ :cSU6՚U`)nݣk8FeIP 2౥WGC$0dMlؚQu*|μi϶\#SCnz]RKRHOT98 #NLwBwAU[Xp鉪GEu _˥."uE hvar:7Ay] `E"{[fnW&ƈO)^IV<+"YUjzh"'ySuy Qί_gM UŮ gSQ+aНXqg*se߼`<=%(g#j5`7oޅV!׆f'}C[@5Z{iu\5S^@vJʕ%cXaWwkXU!d9{b!ބIw?գId֘ mt3p[܀(D< 7q03]š+ݔuOɍA0F (^܀3Q A 52MY p /> BYX/1Md1LLށs ).D|bwn4}EkY\2#t/&cB I~(;UU: Ӓ`ǘWeܕdk$Wɭ(,)=(px/lF ɍywW[" f0y::ϿE&dvنL}6(< 1:!9#T;*BS"K,GD7 RC  ʥva SMCïs 0D K@@r fflcl?/%<_;:6@ʷϧUB?UA @nQF@ G;8] 1ґ=^~}H=](|¨zܑ+L*f6sP6mǦoY2DߧJV C&=%I:8 >JficsGtݵ>o8| kY,0k:)K{$=\"i|J`٘^|:-$G,5by9 W4 nld>O. $R6_yF|*l'NDi9vbOicNƎ &gˈal뀫G: J&; Bf 7SI'Z;V؝Zb8tyHffiemDZ a9iaJE\"oZZ|=fY3J1WBRY6`CK☝h:V_6])g]u13`g&IR*OTJxfRqgmbjAՔH)zޑ3T#͖d ٭z/IU5LtyVT2rMBmʹ("bv1pE)STqZ [B=ц{0̮ lG~PxG#elUE@(}=(ji1${7Z62}ǜYJmm˭qLjFiGMC>0thxVN\[qT8PR/{lN:ふ6%UT.@ٖ0Hn>d\cv㫯f4G X3һGR~0iXC5~ihHX$> :'\!'C+X=fl:1fvYɬ52Mfmgk/ٮWg؟ڨ_ $gبЬ9)eGWqR-i,]r8F *}[h KlM~)N]õ+[QLJefPh1?@hL`X`R2,B-g "_SpUQsL--ܝũ~VS1k=lo+ ] Plo"j*k4L?#-pns-n4A%dO\~-fuֱ_gv}!``gWMpܚЂ\# {cJ|.M J^FpbM/{1Ոy<7؆:G_)Bhp@삩Aw_CXV3w#`11;>H8L{59>1XZS U`T'KFgYZ5e20e4fc330cb85a57f929f7cb117d5a4839eed5 6ca8998bae48a3081c3c9a0eb60ec1a07c4124c3 9d1a345466a108d4a08c3c31e9d6a6384464cadb d2ef0567b21d3450b941643a1f5a38de6abd51aa e3d2174eb362b4e6148e4579ffdad6911d33f39780f4c0c8eb04f92fa9b72ba73b988fd158f20be0 2e0269c995c52ae68d15e9236e33080611f663f4 0d90e78a71d4ad12abb16f8b317db1f37020fed8 ecc6f84d5d5c6c9da5c4169a01af656067f8edce