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  D D9# ,  ]]HOL-Nominal:threads=6elapsed=6.099cpu=12.636gc=0.604factor=2.077zXZִF! $]ŗXf1-q恈ބ׋[q47({ڏg_$+oot|ˮ2PL&pyE{si|,JdtVȗ_T163: 维s{J?viۤ~+㙊c](69uM Snz["9[m_ߔ'Ca^#@n gYZ7zXZִF! HD]ŗXiɟ1ʹv)̝gb_ Î \EͻB7@#% |/Q`I'{J}YZ7zXZִF! q]ŗXi%9432$F34,'4(f'wpႦjXQ^DbFꌠk[c 2.}ֹѤtO/)-^9em"pD t+ =xŭCz|{Y/ć]ۗmZwk=tjc1-ڒ+ rIg<bJA."jE`?^Ex~"" QK[W,.*P<rD0txNu l ryJ8u!.c9 ՜+3}_?O2 Nk|{>Llm)o@6Kz'ZTji9}`,Jn%Tdr8r tIkˏE-+HG<^f(gh9̆}.ŒZ("0^UBօZxC*Iʝ`K;VnU/&1E%/q6<j/;ɴYXn-?zOhS>j|ј$h'ZqYjYzﰟ4&;]PRt$a\sLH-@0ȓՍ|6ݮ̩ 8#R= j =]a-a M`oJh^<gYZcebbb28d280e7ffcf0eca7b8ee58a428d92efc40e2bf23c7d7eb3616a6ada91fb6d55c5b24a424db a63549e9f792e863f2c65c2de3f08035d4b61871 250b0e802eec4ab458c9da26debddd91e5310ab55e25dc239eef2cd55b5733c80eb5b681f238bd3d # HOL-Nominal