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 %% lT ]/ VolpanoSmith:threads=2elapsed=8.801cpu=15.608gc=0.616factor=1.777zXZִF! n]ŗXf1-/6vR[iB9Gf}P9O`4Fp ;s2ڃw)"kv7H%µBh2L1'N2Wo~OstXA{ˡ1+,4vpi؏NϠUO5dd,j3sMK  }>p X&%@o.@AF眳o W|FnRY͵~tڏ¹Xp̾}n!mlCw}W%M6`hɪ̠mL$D4FDhs[Z(!mBLElPn*TWײEo,OroЬK SP fL9'ኙ9}-@}ҵ?@G+VK| k+USR0\߷yj ;n\,"y k mm\;$oSPKZ[|C5*aPc4p܎NU;ER\JKqh7C ^"6z_@fgqIZ,>sP7J 9![cz6qR)$/J#W#@Hv/CBA`'V ,#)q#{ h09Rg j?'@`dkVeA[DƍT5P?s1-szYG)gv_L}W!yK8OMZU, As(H/fM0}gYZ9cfe3e6b41baac3f666cb6ba1222e621e8d37a2be70ee0fd938a0febc474d8a614487240593c9abf 62b865a30afb162effeec3b132b2275d92775ddc % VolpanoSmith