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 + |D ]]Sqrt_Babylonian:threads=2elapsed=14.324cpu=23.660gc=0.700factor=1.657zXZִF! {]ŗXf1-/6vR[]9҄պԗzX{olD Ky+ˠ-yRRIa(/Y/s.DhO99 ,(j;0 L.Fr}`ڇ`R`C(?%BʲhESD ҝm+8+(-is4pՖ<~р]7*@tdhr!z+@DׅRȘ+gYZ7zXZִF! O]ŗXiɟ'l2ti0a 1(W EA7qzv93 ة4#j-!~dĬ2(R+]((,GiZ!f`,rmKo 1gYZ7zXZִF! T]ŗXi%ή*T"issKer $읠FMp*k8żi-اD]0S"GU.u<ɾ=Sk=:NCT?.y:8#5Hz:le?'\Aw2BkeݪҶfP$" =i47єZ-.FO"nx,C05k*hI \<&ԜypBJB!NUe]\%2^󂈽UN#u݈Y5dn ދBU2-|b(}_j(LυcJ/~b{8eiq\9B.XX f2FQd?eA^eXiO 4y(^Lӝh[BLIc[/oFKy`ˈ|}xGUE|O竘(ᤦK~:1!J#8 (JڅpLL2BtuS׸QUGuC#}WK078A iF~V 6{{\#mK֏훴t&g& !DCFNGܘ gO>WXݓoj-Ǣ(JcVA4鎻'G8^ &c$R0n}iA(u%ބg!Sjf0>|h\^J# csa;OsQ-c3#CwXkl#7ShDY*o텋~DpcέmIQ}+LW.;.w -x^R {<^{y';FaT-DSa-vcFE2]^O5`r ͉9;aZT/~;`-=ga%,1R&oKVѶMs~\,gPDP=@rxIr'!ɩdc@Q