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 f \l4 ] ZF-UNITY:threads=6elapsed=5.175cpu=25.508gc=0.892factor=4.937zXZִF! f(]ŗXf1-WHIk0p䋎dh֨/+aGb−>|omLefÄējJ{VnK8nȸLe0R^13fS+P*g/6m_-">|M %:K7;\hC"dda>'|B }|)Y8;`MS&xn['̬;ux>4lqފM2C%|k*YW0'νCA6yȿ)ͥ+uքu}rt\(mWiNs,~;GGxAu/8>(e`Lϩ>MT0 7nm[t)QP fJopIUTNЦ7-mDdRoEB/s`΢+An;Zo5ƌEB}n37ސC3f۲HGx+Uw* 8gYZ7zXZִF! hn]ŗXiɟ9 i:4V;}A<<ګMP7 Ԭ[Ou AfēsCT2n_K-"q b5hQQCfLHf8r0Z>i[,8[,+C.[s%7!FDoh&qeâWR;' ,Ur3"r$d27@Bj+l[],͌9b`JqݏovBOX-Y .%vj!/ЩO̓ %ǖi=>avHv^[v יּyr##IYm6魏BSNk"[f;܆.C"̆>Y %=gH* 8 >gYZ7zXZִF! H]ŗXi%9#H#, \f1@_ok0NtӃdƼj'fPxćS "SZjwU=gv\A)`ڐz~ ݭM3X2QRAp9'+ZO6$pp{&ai?3\'皞$Dðe*1q~5ڂ_WԚu׊R2_q9j'QjW@D.q_m}`n6]y,!z*Sg~C)]R˖-%s9+3 <,0 3BRG뺾}kIB(Cm>+¹F)Ћ37a{cڽ(FFMigYqp{4bnVSbz0ݵ^ZXƀdu*cC5 `3(#a;c=G [RZ-H=U|x Knfć^pdLoV1 р.ha*J&ۉXv[[k'yBО{̉KAKoe9󃩯NpDsEyBCg )"+g؜ktDJQQgL:Ts컈$86ȱgYZdaa0a1e16d71229e5b3a47ec43440dc869d5da973ea58d54a136a485954265ca6aee1aca00e66e9c d51bf8d50184acafa09efb95ccf19a4c220b2036 bb5c9ae5bcb517002e67547af6357198c9102cfd   ZF-UNITY