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 q $ ]w]Routing:threads=2elapsed=14.855cpu=26.684gc=1.144factor=1.807zXZִF! ]ŗXf1-q恈͐7ӺV )5d҈4ٯ&o3H 6'2́n_̡4Ay97K_ xVgF _} \;@hF'^Wui4Kىu8-RS >mVASBJ2;"yL;%}f/܁gJ8%^ݐC`S]/[˟!_na_|,Δ(,| l(9j"}ָL72ש+LR0P#*o dOƱ&L50czI[(:'A$`=* /(YEXĔ'\'I`W@+3RnDilFfJk4L /0yzpc1BCכiRj\aNSaIQ9gYZ7zXZִF! ]ŗXiɟ1˦rnzx <@0+gM:c|i|!M܃Ime/>2QFcJ[9ңV/ޥ cLs@%nRowwO}pUT1)"b*-*1.$ȝ? o,I{*ՑAtU6-uamG'R] hgYZ7zXZִF! Mg]ŗXi%9(R Us;},kgNLKQRݸYK(D4w@juKFbZ _"iypfQsҟSN{9e&a$uFBo•ʕ!7~S12 P>YJ#i&RHEʋ@,gCXt\Jlo1d;}gJ1/ςl1j 7DM'ޕ2xak+/k4-dU Wxkyn3-h*>'c QJyEOSN! tQݎv6(f6 .Nj9Q=EٍdKF47ϙ,4zmǠeФi[ vyƏ;޳gtbUȠptr^Ӻ$ 2lⶣ!?a;bӌ5HY-pydY'CHpJS.πP^mO'Pp#91_OcFUq,MP-zuwKܐ߼{LiZUR\*G.B `|~(K_m5r} $^gYZ306b97cea03c8304f0453bbee0fda255f02c7df7620eadff725bc3b05da1385b39718d4bda69cb83 d38c17f13a61f3f3f61d0943e214e1b4c397de15 bb40205b498794476d38b0362dbda37d779495b9 7e0fc6d66ff4ede340f10c164866dd0afc1ef0e4 4c03bddca36c58290825fd8cf5df26ef60e64f6e 1ec7480fd84c5a8fb16970bac5a14b9149ea27f3bd047f4844ffb04a08d2f7686f20ef11fdd66078   Routing