SQLite format 3@ - llB77#tableisabelle_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, "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-Unix:threads=2elapsed=7.558cpu=14.280gc=0.708factor=1.897zXZִF! (? ]ŗXf1-q恈͐7ӺV 6 hD;V& _wҼߟ=\ 3Tջ6Ic'aSpa}L{s_qj.T{*̦ovPa!y )D-P) x1 qՈ,%ڕO#<#9`ʿ'bS (OK i4*gio ;PFkҐȷ_}$`2~;^4z 9RJ o8Zռ,^G;qІe漕Hqb\ܙqb ݌U;,qۦ6)b']հ0J4EuPWf%C+Plh8hF0SӖ%U|RuSң5 {f>uA?Uzt%YncSܘؙ:RKr>3y{L.c\T j٪_a ڛA3HZMNVjμNAS8i =.*{G8/NpJVcTz2^#7h/T@:pHC'\_4.V)XFEX#+$i5ٗE7s0.;irKL#