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 |, ]% HOL-Quotient_Examples:threads=6elapsed=25.708cpu=39.500gc=2.500factor=1.547zXZִF! u]ŗXf1-q恈N/|p~p%++"yqL^ ?Eu@LwA%mOyB %^:GT~Gڝxpsq'WQ5#{t~5;׆/~;włEP`kLIlxt2>FT|9@|NS߫zӪinw2tDr8*M ydƺL7`5>'줸Z4#DN7څuMKyg"He>Z9Z-tɴ]7!jPQ|򮾬h/\ٰ8RDkY'3c/'qȕ9+s.LqQ!%*ZDs? G-5)e=?ʈ{6m{P5e@$,ERlަ&~#d+t؛P=__Ys"e h{,IͲ:<>NEH }n jx}:2gj(o4?ƠZU1|Pסhr,K&B\ރD +xfDRQԃOJAю䌦'v{B:<_jtY *WS>}Zg2 Eܹ$Ck KOݙ"z-N]ιa,|ߗ|l\u4~Y ȍwAaf8qH'ɷh9˝o:gʍxPNg̳;ANRlWǀ6S"!|bĵcZ=AE C A13Ri)KzKW8e؏74ge*&]o_`nohyo&H@Yp1Z+|@qCa:5[5s%2|%xgŐ > TƯqIP56>_8+6Fi<3B*a: ]aVZ~Z *8p5ڪ9w(F'^b tW![*gpS9 ]%†EqbMѿraV2v\l;xLcD?Tr̻ȣ'΀3ly$%?uSi%%xZvmuُgo0M`=ROZغ |y}hŦ_*$YwmiB6,YĺUz,E|Zmh6