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 SS*% t|\ ]/ FOL_Harrison:threads=2elapsed=12.381cpu=20.380gc=0.692factor=1.657zXZִF! q]ŗXf1-q恈͐7ӺV #`91knTyڧ?"}ËSU{0(7T _{;zU*f-[Zm^L?O\S]1Lj_W7OAwqtر"(xv[U 7{- cNy ]PRv}Go >jggYZ7zXZִF! x]ŗXiɟ1˦r 5IfK",t2"qv e"G?]U=Bk>4`~ j-_ ,WJvgYZ7zXZִF! A&]ŗXi%6SwK ?z/7F R{jrugDLɞR1z#͠2]Ь1M ("":I]9TOBi@ϫl*PM I&0VytksNLY~9lî>:(<moiKY .fQhX,h8_HHn03i^4ҕuݥLs!e3L(zXaE,HgchKe(w}<wyC8}L t[WsO& -sYg=nx|RF:V7$pI" QT-.]WӐ[^PnYفU-+IRCվSV3q*VpO@E fSuowvl[DgHO  ڠihf Br/':lv&w-Ijm4>7jS6Vsux"y1G+}{L~]̳> a~Y- 2Ub{t~oF/o:_F&`(>W( @Z%`=ș1HD^^anlBЮwp9:]V]TxP e,e,ma{F_i9$F?\"W7]lil3;?ʰ\5 +(LH }9hxF%q~L. F'{)}55)\}C,UQ*~f'W=*-I%}NDp=T/ 5h-)SshP;:Ŵl+v&;|@p4. IiJUYM[yK:#W| rgzC*DR@ W$7?@u~~\sY^A2=dWL? L֭)&qxt*p5TJ`.a9IG#z'ޙ Hch3`O@'L\H[ʺgYZa96d0c651e7ba82bc9bf78501b1fa69d3ddaffdfe70ee0fd938a0febc474d8a614487240593c9abf 62b865a30afb162effeec3b132b2275d92775ddc % FOL_Harrison