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 MM0'  d ] HOL-Matrix_LP:threads=2elapsed=12.505cpu=23.556gc=1.112factor=1.887zXZִF! ]ŗXf1-q恈{RI $ϭ N/Xt#`\9)GS60SzEU{3%X\c0E.CtAKRމUFF 4"/A;=,RB]#vcE&;RfٸETe!)Xg^Ri56iK!Cz] .̌4ٞלOp򢭑,9cryGQxq%U ^/3 pyL}̷vj#&> ̋Tgp| eOT\:7$ٓ/_Q3fa K; 7V#g~y$CUU-L x"q1Or v5CGwAb&9*G&I7yc8rh 0 h3*z*^ get umk*i9׀$ף C18*G)ϣ6D2dJ9~GzU/@"1u{AL߆[e4+S9Τt}l`-\ofsZ[ahp|O RzY;4SK|A*Fu:r5kBQG\B͇&^fʧ7@Nzlc.vʳzi1hdّQSH&BEQիɏ[AD{@ 3h|-y۟>(R*tVRǕVTrj()Ѭz%_2b#῜Lz-fH1&A@w Z47 S@Q 27'd^naø ~WRM8v̘=fߏ+9 W!/ĊؠwĀtW / gYZ941bafd4dd6bdbdb8570f3060527231724f15190db6f05ad5884c3d4b639d9f4b203792d5968e568 8f4009a03cb4dc8972f8428957511cea3c656c5b a57efa7649a3294a1a9152df50ebf74ad2bf698c ' HOL-Matrix_LP