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 v7 l d ]% HOL-Quotient_Examples:threads=6elapsed=27.768cpu=41.372gc=2.440factor=1.497zXZִF! ]ŗXf1-q恈N/|p~p%++"yqL^ ?Eu@LwA%V[8/IaPc4+'ɲMR]ܧHk -)# 6'C7 Ifl6̮qgz$¼֭|Db̕h%5]J%hË_%hErաq ۠_٘t{L.[ILψj )8QJ FiEgYZ7zXZִF! ]ŗXi%;fkb*"%36(譭9ZpX]ϮoĊ[tevb&5#A,o$DN%܄8HkHOݠF-+R-V)mZtd C_7B'g!볯yU^[mGh5TI [i.a!BAN~[wβGn1TjQ8TUgDo(9o% XKc0%ٍ?[B;ы?>A5{3ҪS/5AIuBMDi}{/4<#i N8׆}s&GűI$]if0F*|WW𩮰-bq!531}DF㾺k7BpgEx\]eUյCQ17^9 <Ƌ4<t["Iv&jL#CGAT@I8';;$'Η$%*u eM ݘ" Ot^ZetRI)2ޙY%|쓺S_|Gǜ9uΦ)W; CE8[qwEn, |XYm}4\GXu>cr!fFv\`