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   t ]w]HOL-ODE:threads=2elapsed=0.159cpu=0.168gc=0.000factor=1.067zXZִF! 4]ŗXi%6yu"Fɫ*"2X{.^J'0?9h2%fj-(Id :c@)B͂.iI٩{gM;l}ӏkxypN TOȮ~˯&?1Mn>t/+O$5ϞA~cƃ=O2:H.xoIflEq2r7wIv!Iv 6@Zc9Cӂ,<_o! "y[%r=S tZ:K~Dꖓ*m`cA$ IgYZ5d864ba5236b935a5cf04b87d434fffc43ad4316f0df918d4045ad6c60b23213b65e87e41842eac3 e02038ad1e9503a02a8e11b7cb457877cc454f98 5e2d9fe647698eb3de122778d18dacd4a9a66146 05218989694d9035f45149cfa16d3e890ccdfc57 c96aff0ceca4570322c0f2c566f8f9648c4f1a7f 4c0ad34924bbb5fd38f4959986e6b4517efeeb8599eaa84f195bc9622e4e1c319cf504eaf783efe5   HOL-ODE