SQLite format 3@ . BBh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_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  m5 | ]S SequentInvertibility:threads=2elapsed=54.311cpu=106.780gc=8.668factor=1.977zXZִF! -+@]ŗXf1-/6vR[]]VN?tx^A0EoZ$!0\P6b k`Vj_)~(w6@Cb!Ov\w1Z\#6:/i{B6/'>z 1rG+ >|ܫ4eNYkQ;Z{;c3u:iiUUjʋ!OH7;iY(ĤYJXS< hjmCC}|OmO {3Vp$-+3T{2K ǰbg`U_|/ wTcJ`=ഗUߣJS:f)n`W[txª''i-Vn >̩yW}16-m7i!PDF~@>u f&0T\#XlA_!;<5R&]F2*۷.eae'sZ~.Xsb;<` ԃZit#.ݿҘO;FY",gB5K-] ",\=n22< 3%/;-+*' 84h~ߞ-mFv[*{ AnbMj> {JLٓ9jt o3NBl6W[yx;.0Cmե 5 SequentInvertibilityzZ<ԇiA#+WrDc7h W1#BLHjSVҹzP'?ba%nӯ—<@e0%)hVi8$\-Ei''n c1j^lj7ALfbηATrj;Y b]B7T+oN!;p)%\(ב~&n e9G7PNt9>xϵh-dR芿?}602BH!]fe /m.^keH˺hIW0;7lOFրhG@=4kzy>a{9휒woz!ĉ2:/YH!.!AS`ZW0F'"j #agƈ}p'?ju}[پxl!Њ߂aaBAX@R֡l AQ}Bv~JP*WSsib̚WC}ؙv;Ŕ(/t$X9WGf!&%]}o;EO޽&)GvqS5 (y݂6kE(sZTޮvOΉ<ĻwX,#/Fo#Z|ms2] 5Q>0lqD4ͧ鵬cB5Dמ]LYBPf’(궮wT)3T򓀍vxnZeE_ΤtNU g4@`0gGiN趁+)B]Nrʢ4LSg %RIo/L[^b1ybe%oc=ѵʏs+/P+"(`.#w8_s-n4wBNmq꧇\&f2'Oᠰ=j?{yspy7.-dA'O95Ê9K_68`iS4h nR:%$ ߢޱ8Lp -uw:hL\rS–]C5~B?ls1U\C Ҁ Vײ(+CDvƲƟƚX]2r̭&SUr5!|S =GR%#˧}NwI{ax DVO>`kfmFitӒ/yyjT[5o 6e! ~)[As(k+ @MWN,FMɈFȎCr<H6򁋵8Ri;9>ÖLeZ'.8nCsl#XnާƘ0@-Kd$!K.]P<:繿ss km*EK|s,2=:Y)&Ui)b Ku/Rrۃ1yNg7MWS Wpmge.Eҹ%K %nQ! (&di83`B#J%Ji"{jιA-5UqtHm}B1,G_U {?T}ԙprŕ. HZefͅk`] hyyºiJo~Tl,7jYHgYZ82d698a19515c262a69c8a39f001ca5326daa3438ae0489170ffa4e9aeecb054da5126bd23bcab2b a42132ca83816d0082ab6b716aea896bf4d99d0a 9dcd22a721fb4d6cb69fff249fad38e4e65ea05c a47178463855e4f12aeb80911f2936d82538e856