SQLite format 3 @ . B B h77otableisabelle_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]7 indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info t t tL ] IOA:threads=6elapsed=7.145cpu=29.012gc=1.172factor=4.067zXZ ִF ! ] ŗXf1-qN50^XݾV'褃)*%\i`,;K~aD\~H*6* BVyb?mVy4 _Wwa&MֲWK >dQU0[=osߎTt$Їy#J:J.AA~j*5f1eGi;öʙ&\//hT髦g&x Ht`|!1ISO3 6l;%'xw nq%h 0f묱֝G@938?Fzuq5Gd)w?0^R h$'piMkS>w'>دkOP(fN9+ۣO%%.I f-Ņ_oʢ4J8r8]@0t;*hSw J Ӥ\4 Yg YZ7zXZ ִF ! `~] ŗXiɟdN'LvH۹$vYe>#_ey3{#4&9Y2g^2tr^+wvJeQLw^z&;9{uR6