SQLite format 3@ . YYQ77Atableisabelle_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, "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  ` `)4d w% Chord_Segments:threads=2elapsed=7.108cpu=9.616gc=0.156factor=1.357zXZִF! ]ŗXf1-/6vR[ltb7o- 5v B8V}*ڰ k%8mH`rKj⑐.&w>o>=kEQ:eڈyHWJ~U⛧(֊*O*̷fS:,l9S@/%mB9 94/㪥gYZ7zXZִF! ,n)]ŗXi%6y9eޟ+<eN䋢{e++gqf76ݏܩUwټ=?7'+E0 ڼku^uhݖHf=בFOC+]Q&J$A!4nDZrیՆᱽLk@IW (|!ZydTJJ0^ 2z_gv 3/XQwNg1 ny{9= W KEF1O<˗JkOѸ7d~<wldt03\OO>e'۟FLޖSJ¿J6&=w #@\w3sq 1BWYGi\>Ș ¥o2g˺>p4Ɛ!RI@6":td% $`vE'_jOo8R$n#89 eye7Z ,fWJϐZ壾As̥,.8gp\Nx}C)Pk>GYZfNA W c Idͅ2F83uC]2Y\;0W]5`7+Cmiq;x=q{PbWjB^AoϦKB=]|\nnx$/Ony+7?q@k µX {v8[ @x1ؼLJP#EП,A"H.trr:--ޔ)dmuhу ms 1q~jbXgYZ5e6e55d3f0f56cd0c9a445cf196783ad8eaf3a51 79350daa9ca6a5dc1b4127c0474db63d723d6da0 8fd8f822414a0f9b3c80355e2664c31cbd4682a1 a19e8b1a5dc2785cf0283d4e87ecc1e6e3925a90 e6382b6dc9e2ec0789908af934c3bbe4c24fa070 eef6746d770fc46fae6b447c1dfca49114beab20238e7eeb3573fe8b8e9bb4deac28a0f3388ff51b 5945815fc19e2396c5725d8d6cd70bbf961a3d4c e9c1612e4bcc9a8b73f0a6e41bd7530da84b0eef 8604b41f1e451262fcd1286c482b758b73d1c934 2171a9640c882a444ab08dd88e02b67368cfa3d2 ) Chord_Segments