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 "7 <t ]% HOL-Quotient_Examples:threads=6elapsed=26.099cpu=39.348gc=2.168factor=1.517zXZִF! ]ŗXf1-q恈N/|p~p%++"yqL^ ?Eu@LwA%aCI,Qz͜#Puѱ]\<NW\9-9"Xz;d 覞XQFceF\6'{T^U4|`5T܀5@3UT2{>\Ht UyZ P/2.?:nKDžד:ۃcgo +Ðwcְ߁iKQu5=3su XGG=o9oOГ,JIMj@Z BcBgth&Bܿ~maj\3_S^&I"Q!)Gd[,JA@4Fcሉ.gYZ7zXZִF! ]ŗXiɟ1TgsC2MуIT.@o\֙XA6bboBNwKIwU,$>a\K+L5Oz*jxjoRzt層 <&A7^ˍ$J2*/".1u`!  `nDV~gYZ7zXZִF! }Ns]ŗXi%94-82{¬.gSc=jP4`=xhnd[4\2- Q-GK& $V?Ra-:`vjEVrq4qzeZ六6f~+6;/ jO*Zf<0%U$AA>[WJ؞ _Pt]zcX0L>爔pLTMj&(ނXl^OsQc}3C$y-,z˹v/ڬrG@Ė\?y!J~,_ ƜfIvRe-h#"L إzM 셪6%PpOxefye ptV2UX1A ;u i+k.b>&C_זYfm%! H?mޢ'&9ܱ֞ Hc_| QEr#ksl;jSLG`Y1Aig ; zԱgYZ5aba70f27cfe4b8e22edd180e65e1829f0c2d8185a65cfc9184ac5fcff440c336649c488e962f666 d0455d08675ebeb715f124bb5eabb8abf79678b3 b38612879e92db38622e0825e4316cdaa535a44d f7add459c17faa61b65d25e83e22499736a8d1d2 d28dc25ecd0aeee162bf3061ccc555428a0f35c8 7 HOL-Quotient_Examples