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 ek?]No LvLTDz'UzT^%jHƳl8Id[   HermiteG2nj5c*{Z,q|ɬv'(1ê*_~@CNZwgߥ8ccnI-R%T~ X@9zPR$0p'gYZ7zXZִF! / ]ŗXi%6=e%hrs| *G"bNyu-`bn9~HxѦ2o0%LXk[[ OPr0ƣd?qvdP4np3?@IfBz8 @Ϫhq]&}Eķ[%4C1owep kGɶKD/Mgk7=VN^> (}8f9 NI{R|Wޛq3[oh I ׬.t^A1%dh^@G x+`.%o]\XPVO`4% $ko:O7z~2ZqO V'~Gmu /vgz&1N *Vk8ۯgH]+P“cKՓۢ9ڠ2{9T+(S`s0})("q=Fn&A8_*1YD//:_@ 1ȱblrpjTf+x9xp2X,v#{sPʬ`5^;ڀz*ۊ%sGfehrvp<;tP+^-Nda ktXRDN2<&K#v_RwikUZLGӕۏU˿YeݠLx_JZ 'mo&ł4\kU}X:6: _Ig7`)qSUKc_0$N=ژwXp*zbhx$;Y-ׅ5a^2qTn0K/G$-NR_i)3ב},Lpg) z*LFr<nLQ)$m%2sE ‹!!<]?]ؿ~fl4yE1.\o9uME%vSQƳ:] Y2sM14I,0ȅs3h /%bnB;~ϰDT$m>ú^]&ԻMD>W 5R61Ӊ=2,=mfn+02u#o1(sx$ %7ȉЊF܂|Ѐ6/E-QUu#M+<E]2qҫ^˵x82"Nrh^r@}9[~:dJ7q!ʒBcaWr35I{Ѷ_5k"Q8V CPg3ն oϊT5š?+ JYMTk@[^dzDÝ$?VG(aLBlߖ+:&`0uE\%fzժ~Wmݕxct6l{b׳@1~<$ZPh$'yK7'Ӎ~ B["X2mLL"л[ʂ:ntߙ~:aeߓV⋯:nUi}3i}7Yc.'ިM8N'̫~DŽ րVl~"/Y/F%"7,{;yW{!'N>ȩG`IIcq8 }j@12bpʗ[4~c7S5??y( B^{eI.':$l2~erwZsx|AMnY@^$LǒZO>%kƌ +Nt Bҙ/ !p߸.!%F'H:gpr$ 7*q_C|pr"nMUou=="nNƧmӶu/3t51* !LջFzG,J fJC`C=M ?rv~3à8=c|-e%qW([0hH_ 7w`uZ:{oQ4nm+GF-;%WO馮X_Oo-' 9G*$⨵HV뎥vwՓ(Eczl<DgIzr"hw3ƒ6ד2I3t RJco>H 5TW3$#L^@PDŒʥb fZVDgYZ6284c7e5391672fad7893c11576da65fe045d9de 65464c5d9dd95a24dc91392b59bb817a3d282213 98409beadb96c756d3cf69e50d03de418964529e e9bebdf05d120266d95742efb3f9f02ec59295eaf0df918d4045ad6c60b23213b65e87e41842eac3 2ab5e6cf7f6e687da873dcfeefe3198ae54a3c71 8ad8b00859fa175a80839fc506a09472d6fb1928 3e553857d112c4e9d1c0b7aaf3102c0d82bfc5f2 099d6146b83efbe7db34269cb1d2c2c87eecc7c4 78e4daca254647890cda24d7aabe0dc254287211