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   _7 \ / WHATandWHERE_Security:threads=2elapsed=49.695cpu=87.460gc=2.496factor=1.767zXZִF! +]ŗXf1-/6vR[]IJ!@W&abZWdTUNZ`[ ,FV VY؁53߸6^>3YD2hxzwhoZ? t f`p萾r.ry) $ uRLϐN_]RGD-}Qve@~/[ǕIo9Y"ŠSA/l`niӽA5-uo /*djpx;?_s'`@rV9WXW=ggYZ7zXZִF! f g]ŗXi%6ҵV b ނdp\4\2_YUca:Rὦ䒈- 8}ԥ60\Em_[3 A.i?KќޡoŔ\jȾ A ԭVpes1v #@6͸0}:e>ȀI;Y {od "=}熷hF\zp47WWk;EZnD^_3*QrlV]]`S|1/\j*;9ٿ|5/N'9>ht|dP $B'50deYLx#.B'_@BRvEQɂ5 qzQ* ?A 3KgA_RoBs"ܷ Ljآ1cHe(pt,XWu,#3 !yg3hAVgj)QZ1ҏź  ybB丰oEP8wqіFNP[d-bjO策Ү X>*ǬέA'+rFU4-e3zI&Ko'CW z$y8"ǰNJHIP|(-/i}bO TT o3 F(6c~#TYÈw`P׬ZBVO~Qǔ%8^o$n0)v+{gU-E Ƽ᰸F|2.\p#QaoHjϢg!Kc3L6T(@ُ "h}agW4rD9gPԸ7iO5}nFQv ф2.:0l3vigBiEx#0/*܊.z{RY|w{ i68=n,:hC %RHz+%t̳Gex?9 U, d U"ҫ㪀x̡o-qs+(µIȠs6D\Zs>x@ < {E> R[\vͰTT5UܣHg/ i38OIJV$e E6GĢZmL}:e0X*94AlT6l[2?x$'oNsfDY8#tVlɑ0ֈ6=-th e} ̆@jI`B 5u`PXV= =|Mg)ɣ-0#; JήyQO.@`*eF_KFc+ks{'0":R? p\8KqI||QcB}/#!lQO\1Qݥ slt%K\MlQ mb([K:4 FҡP57* \4ΐ32xȖ<.Bzp?Ap.uI3D{tfT^5jm~kbbs[~E?ÿP %QѶBMb Ҳ$F`@gDˆ]wJmSUja\Gy-´3if/?M&l/e>y9fGRYZ0B}8Ƃ:4gɚar#e*Năn@zsWʼn+)iSqG^}] uxͿƓշVvGA: O Dzii+ r4+|}uc0=X;QX&+0ɶ= v)^Xv˯=b:̔D1oy,Ij{0ÓI3r1c@:CkFX(s(b;ݟ;lV΍\Ƅ 9!`% k==ëpD)F!@X<0gNhrkuJ[M~{$zHMY?~=^xvSȇsjOjԭVB)f(<4lނ/m&> V[wN&1]Ew%+trt+ ^t Ȋi[DgYZ1ab80a0d9b0082349f8a5935f816d9c6cbe5fdba 1db3099df03f1c28cada19ada3a74cc81ad144d5 25fcd21f22d7e78fbf9c7431cefcf47a109fe571 2ea80c097e975199e5a5b5134e6d34f77596fb72 313a93d05c3a89cddb927649ea4364dd24f1ba12 35cd6aa710d94fca8b21b82f07bd6d0ad19d7601 562e093c46a90f0b21601ac6c7b755f8b7e2a500 5855c11fb47d4644a3eb1661268515118b384fd2 5a9fef15dfe0647f0f880e3794ce8714bfdb3775 73e45363585842c702e7d37d17e80e1fe57ea21a a20370c8393d39ab3c57febc38a4519af54dfcec aea02b31f4dfe66729e8a51e8c33a68989d71644 ca0727eaeb92eea6fafeaceb7f36e3821f747fee eb74f23254781395870bf911109bc107105c8b50b9e4cad54624ad835a14cb92fdf2da43457b5cfe 190aba293ecca7a1fb1d23b827c0a4edea07cd47