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 e \\ /]HOL-Word:threads=6elapsed=8.689cpu=39.988gc=1.452factor=4.607zXZִF! k]ŗXf1-q恈͐7ӺV }"cXH?c;MԖP؉ލB[:+_6w~*^N= Ca`zONIVlG~㛊KгALzkP7;;Vk!atj$L˱fB7[AI1L4kb9_oxq,_ e{tk7ҪJq mɜ0FܧWļ5Saae+aZ\@ ;x%X"~f*ȍ]H; {'PK_r?<8#|alEqꇋ8'BeG;Ν5jLPRсSz{\S 0$_ $Ȗ'sꥑ%19&{_ tFT?Qt>C{tYFiۦ .iiŲt-}:ʚy54(RY^7+?* hkVn둲c(?9UK%Ve?dݒgX 7U>3o&+C 6.&)N5\L%gƵG/V'fe櫷oga[ܿ{S1"SžfZ,MCǸehj& gYZ7zXZִF! *l]ŗXi%6^Zשt1ȜVuޛ e(duŻC*2RKfC25 !&{a`8 sw,.a[)"1Q~4Lpi5C՚to@f%nxW3w8qYVMp-PU?1W{8+?2n9H8u, vہȎ4-Y> >󌷚 SQ7̮G":#BÁ18M{W,\(m߼hU.E/afEY1QD+3WD?cp7?[ >OW&N m: wŃ9 Z5;xAm %sٌ*@>!Ʈ@x-ilE'дc J< Ώ]1bu('.܁U+7xw6JcG:#2-v+/zrz4`,5\I"zH‹ TWo|Z-)sh?ϐ~r9j4dD*%}25dNŐDSA)A1̓TERa`o46*NP q%j3s#8tSt)Aq?R,-eT#"];ϓ^2qr^z;}<?ё#Y