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  < < ]S Valuation:threads=2elapsed=64.763cpu=101.632gc=3.508factor=1.577zXZִF! ?`]ŗXf1-/6vR[ldco^IrT,^'&$vҜ+A\';;˽5@e4_V4VޭD(㛺 FKE%H&~Su*Mi PRl_h.y/ozՒ]IU#,Uߣ쨝<'Y͎0Y׈5`zHP O>"`MTis4ڹI~Ľ&-_?W˧C_+'N3 vA5 JHjow0k)X+/%з噑5μ#)!ε0[p+QJ=DW0 R"0?!\Uk^ j'0Ed&&!a(+^%@}f~0+Jwp3ˀwI~TLed ZVtJȘuGThD4kF뀔u"3ݺwש*CfTE(\!mXU~5Mw9JAuiFBGsK|6!EMIevݠ;VI3~g$*ħ (Jv&#n 3UPU( n;2zDr^Lts%#~ g6 \pt=7ѿI]u)I37sy8?l1$"U/ʓMWю{? 3"|ƿ|(ON: t"ݎnPN3~wz/mDg$׼zg?;N[o@nXï;~!YhH=H[j̛&EY}cB\ dБu"lO-\iKv4[4]X.bܥڟVnϝ> OK,   Valuation7VdGΖ~jS 4B#jHߏWiF'QH$-|\wOWCN|^˜RGZSc8y(W߅kLX.S`#x8EڽPJ9Xrl^^oAR+ mp}g3ĊdX$k m"D-2 x IĦ6wΌ0{Zp2Dz&4B+IJpbܴB|-g36J|[{SO|CkIԕ^t%Sr:rkzj#ц'u=o ~^gYZ7zXZִF! G ]ŗXi%6e iiq dQP?7L+ԐecA(Q32o1b7hҌu_fx]G! $@֫ԝ<~m2B1((?H#v Lk߱Y9ҭFPWkT+^m$rqUŒ|' I6;  m EhrzdFp,XU,:B$0i K!L{67Eg^G$z~[ AڴFvVh*~vN4Jʈ%%b4?k[f(IŽI:]hpMYJN#Pt~"Mxug:uS1v(">"pS#2oED54J8W/ tجzH[aU* V(ɣx:/P!V' mI6zlHM(ʏǖjes<3#ɖ$!a*]fsaN/^ %oưNR+& NFO1@0+R0;#(x ? |τ?) 8\5uӚ?UHR@[zR|~(s@jDywVlO7^h_.̿W#M[Zr5=5-] K1TէO c΋?n<սȴñ5RLzW1Y.#2ӳai{|mRo7zCϔR7^n} 6 <21C{z 1~}M`ÝSw݇ ~UysMOR]x@(@-'0dDT05r@.o_1vK T~\#|)em o/L%j6Fhy#.wk+ }x0%5ōf-HhSz`N nk n ƸucHkY7UǾ߯0z235ܾUg^iW Z=m8B;Vەe+%Az/&Gf)sV4?6:%L c#yEpQ@x'hBGҩ.{wޢEdQ+y6NVMoEjL|T+nO@ߊul(8 ˙eMd|ý>dag{`Ny^C#aF;L4GhQe1TP6"08X-p48JQdNKIF{L0(:UwÉXh6YOkg.UW :5WI96nh7-kIS̺u. N(q:_$} nv˨" .p-|3{5ku\r;(0Z3V*oT 9vmy!a`#AqKrn6(NGdXJ/70.׿V7,x\aXc6@g Ҭ7iYg. Jsݑ# 8KSK4֕j'VB~Qr5S*1%$h䵰[83J.Bo}n{LǑ@QrSOC8L], d+>%אuOn ;jw_-9!yy$PpI"ITK®R+MަD,:Q?(/j~aK\?0nP'>J&J#K" ^Yd$Z9a*Cn!#e&'P~kޅT~hUsl3G6m2LוȲoi)e45w[:f S,J^Mvs{ }覞:^_豞Dܣ?\DɳiWup--zb*IW Xt\_&i$BT-rnV } (L $ԖUTn:ۅdu@^q+fy!J<:|) ؆PAԇ-Mz3wɜw !S1 g&m/p:7: ]z4P0) l RKAzKh\#I_NnBq5s}BG歀nj}GF\cѓObnB05g(coe%iA|ve᲏tWS$66`_\lv&}2Դ~C8 _(Wd /Cq]OC6ɪrd@,ޏEgYZ4e434d6755c11a2244d2fb4f6683431bbdd053740a2796d42ac427cc44af631a8b97f23c746aecac d64a82a2189953e009885b82ff3fe520b1ddd159 ecbaca1f759e0af4557375e3f3e93a75220211b8 14cf1db13af4894a9d0c414d7d86bd0079e24b42