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 L|t ]% HOL-Quotient_Examples:threads=6elapsed=27.288cpu=41.068gc=2.388factor=1.507zXZִF! r]ŗXf1-q恈N/|p~p%++"yqL^ ?Eu@LwA%5[8/IaPfIIcө 9 )Yf5wP NNGot~45ܵvh]WFoc'5w9goG:4b|.Fʡ412 E;xĈRٱ1EfF_p -T[Z{fyRY6bc;)]͉AG{0=Nd9h2TףP?|fIexD4w 27%^`f*U\u>.`L” [X.?yxYz,ʒԥIyZû[f\_U]U+qN3݅ghBT yCtY$T==Bލۆ!ҵSCkp/pNEII>Dٵ1 Obcr/bLN3*c'zgI3|y3[д (x3Q.9,Eb(##iQSNl?DxJV !3jNg\W4'*3A1"L:u"ڹ_p,mOCQ]2Y| q]kox'.gYZ7zXZִF! ]ŗXiɟ1TgsC2MуIT.@o\֙X$560"XzJy8.)HQA `:twO3a66`-J{DtT6w|yzZeVִ/Yk9E[e 6uǐ, v|j =`[-{HgIĝL]ZZfbû^U\s2ux`*wRE@X$5gYZ7zXZִF! r]ŗXi%;;eHhT&96W:co% G hj75f~sw|mF_QgrZ ?!0my!(M¯; QH^]Bʎtv,,5_с,CUҤZ IL?lQy~ ]ވFBUȔpjN' ! p+<bniYaQҳT_zxIn@BdŃ*͓ ( ˥p"W$3tgьbA$3;㣩 Vt(vl pҼçuX,'ԏ.{g㻄4;WҸS*o~V_;Ax aF]h>zzϬAjx\/E[U7f  d`gYZ3a1d684df9176611aba0037a9f1f3d87429557c810764ddc346d5177be378b761316527db367ec3e a0b11f9c133aa49ac228f451be8e515f846bafaf 4da24bdea1ed8db5820c4f29605d314f12cdfffe f35c87b3fbb1057034e9cc403f83990111618881 7bb6fa23b28e708cbe9dad5c461db24732f00a60 7 HOL-Quotient_Examples