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 zz$ %/ GenClock:threads=2elapsed=3.784cpu=6.992gc=0.072factor=1.857zXZִF! &]ŗXf1-/6vRZwE}%X:!:7^ er. .? SAsǞΕPV^xfnn&`L8qVܵɩMxu44a݃d+shl@_ǡ% =׺ B?\t)_z?[ h7.ߧB~ޚ*qoë/Tp71:"z{mq?TAjQRPZa ߝKc &OD s~G^Q]hu_y^\|4EU _[ɪHISg)4'(Y @5"/5>>H* ]R@&f<>+$U܏Y4x{WT,>W<=PU iEbE2VA;':c]1SO- ɿ zyRCv:MaiKrs"d!z{ LFQSwA]f0ned2TsBO8%7 7NL^JNieʏm{X\Mf쀟CN#v|20GHWinيO=CJ(4xÖRHrm9|)b$^0kylL_"n h0R(qOy X17IYj>}Ȧ%:#pW8힧N= d 7 'w.8}f +` ܋M/gYZ7zXZִF! ]ŗXi%s;Oc=jFb. ,x) o+mȏ]^I* J"`|Be_d*r:e_BǷXjA&"U#fiip;(@ݨB$~%yIPg9v'bf9Ƶs)C V=ib~K`Yk]H2P˱|)A(t~}gg/BB_Xh^#$@McQ\or@W˗g^*);!ޓ,+|,.ǃ I `q&Dl\hbmMIfVWM^3}>Cv 2"`;7xL$ DA#h_+lj$sw78 &֗^> D.O@eB8zEd'LRz3-HN9=QfCF5q]*)b-y,msH#=6Nwh;anBg807LcgYZ4ef7d654a44abde1d46de49c39e6305306e52f24 9213ee6f5cac6d71b992af5787ec0ab2f83f8546 a9c34ab35a5020d1af651bbad0cff1276d146202 aa5c3011edce68a6909f1253d65a6858e3d309bf d3eb74f4fb9591f2104a22ce418e133fce22f03f9711977f48cd7397b3b03ce4fb09271962469dfd 76cc7bc16bacff3c41d173310297a26a15be33c9   GenClock