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   e)<4 %/ Open_Induction:threads=2elapsed=2.595cpu=4.452gc=0.172factor=1.727zXZִF!  ]ŗXf1-/6vR[$ッO{2V0Ս%LDp [ Puz˙453{o.r~uHVa N&TU n[@U9eTQT(sAok/33 N\&7pdJl3*J]bqN~6,;ժTe-zHQeigYZ7zXZִF! ]ŗXi%6xs3]訿=/iEsl\8d;PE}g U_#WĭKyI{4ڥ+Mv*8\> JTTu|ĝQN'qG}ZkVG&L'0jU1ᬡY(e7 =!$"պsb?l{|TFp"\ e_V lH]N%þdىQ#1iU @w6 4|+¡w>'5՘0_]n{?vр`r+R}PoLlŨMb<5 [iYQBSnSU^t1iq8̌ɐ3|sԮY,rcM?SBXK/waҰ8ޛC5Tnp_Rdo8īdY@p5!^FqIv Ǔ8`H}('l X#ᦷj eI܌s!+I)dmgYZ52fa80881ed3bcb7f88b3eddb9aed5b9d35dcbd8 5634204d7b3a8fc4754a23297e39ed38e0659817 5b77bfe746fb969ca5ddcd17d1e46b0b332699ba 8d3d8e2b1d4ea8df79736c16a4854f21fbb7844c 921aac8706d4bc6323b06423414d9bb796c776d6554fc66833c1e501a5e5c7ff24471873df0a1f56 d155c2ed07829a15fa84f92865e4197c8a5f1ee1 ) Open_Induction