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  l l $D ]S Hermite:threads=2elapsed=84.268cpu=133.772gc=14.496factor=1.597zXZִF! ]ŗXf1-/6vRZ*F"Qe;vX]Gk o}8?Qa)ܬ2m3l2կȹeq3LfH($+B"ς?>]+i,DâEuKF]ZOlJ[̀ww-4FUYU,*Эn 0 ;,uA`c&ke6[2T q'Ҵ!RtOgV!`!-& _w*8f >~kClrՖ mR|m$G@-Qxۗ XQk]zDAU_zZi#сm&c5" Nbyu"=Xu TLߊgYZ7zXZִF! Z]ŗXiɟ ו 44gφb{z57.su ML^2g8 72Ujћwiy%,jcvtzwgYZ7zXZִF! }y]ŗXi%923Ca(BfJ18[-]8Mt%_jǯL"DЛFy8z}"^j4|SKr6|Ѭ|b {^ G=R+gRLknfu(dCTV|#"jZ4PruƯJQU;;fJ/?%vǑH$&2AlPF洛:PdwQJh]MGbt_O+:,rbIxic{&@plϘMąQPGYD=F 6}}4 XD·hl Y=h~IuYэY,R?IFy{v$B9xcd G-ɯAj .OrSIZRO&)r;Ӎ v1ڜ"}1fc/Xq730hLWiH1T{R+R:p\&`)F/Ѡ8 WܱĒ}#:#8ޝIMB$\L8˷HCϳSsXܜ<E3\eԝt;ݳ:'F 8d/̴ٟ@vN"/P픾QIH13L֯j2U–g]I[RKFuPlK^786!<_Qk!. \jכ^L#,F!?F©]k8PR!L,(rĨx4g$|%//!A+წ4yYV*D!XKs/}vJVhr{'`mB8BJSD84鱙{3l븵DbIf7M_΃bm,7R4j; >C_*ʺ @W|4hqRckzQ|6 3L;nJX"26ʃ &^ O&Ѹy= Z"w8QrL8g{l-yZ)R&zR(t Y/~$Q!bZ,@#@`=r=:CM(#JuLkɧ&̨X$<tT$r 7n|e "zV= fez}(86³/p˳0R)( %A)U?~{C!hioDd"SU+jE%m"sˆИez yusE6k n)xVdpm8W䍾|Ђ3OL=>Bwf|.*E7x-z/lPc LX^rOCqϚ ~ii+v ,^hI+qGb-R(dzE'qkr 0 qao[]$XL$sW~Qs + 'wG~Q"}x<ȰP4h/s.` _34yJr}kui,]$~=T!FX8