SQLite format 3@ . YYQ77Atableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_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 L ]% HOL-Quotient_Examples:threads=6elapsed=27.048cpu=44.096gc=2.252factor=1.637zXZִF! ]ŗXf1-q恈N/|p~p%+)</80WkLaAǖf46>Oh[v6*Cxvq%=5- 8[ S+m)P:yd%%(%"K\1>v--~Fo;l5Q+_ y'9IOZߥ(e-Jp.ƃ3>ZͰh {]٘Ր=)8<ދ L xd :$ k*MO);xGt/\V[о8J|(Bh`BiGkY%c`ho.`)rY:)7~ᮇLbwteƕL C8g#4nGW81gsܸZQGB!i:cuSMy}(r)Ilon v&@9#.b&M"\|«A;`09_Jheuf ǠFefu]7b6Q7eaU*1뻾׊CdMfwF,ŵlM| 0u?Дa`wl!v.~үȞtKiz%u\-$QH*j+'v_("2ִyG>#cz J 8/-{ +`#:0gn |V#׹ZkN™Âĵ 1h*/Ͱ]Gδ,۠Տ0^ku_b 돡rVz@*γ[(l1 }n"]Aw.+fkgP7S̎PgRNrȜ-PɩS/ǫC,}f|vS}#]tW&۾ Ϫ/t=#-,jMy}=%≯İW %63 ?ꗘzAE5NMƶ=ϷЇH|,Y]Le A473[Cj;jsT>->.dx[q?ZzROƘ֓⩹(]FAAFna)sy|僀?ŬpN oMR&5Iʳ*Q%DLvZ3 e"k*h oTp;۟v4ҏ%OtczXɗ>7ö 0W#\>G9|81~(#9*DH㙌9doie) $䀐`s齜]B %8D;+6WW!dw.f6z3'}b