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)D, %/ Open_Induction:threads=2elapsed=2.567cpu=4.432gc=0.156factor=1.737zXZִF! ]ŗXf1-/6vR[$ッO{2V0Ս%LDp [ VI'sXR0]-1N}?9:VI3cTZ@Q捄WQ> i$1m;jo^tk~Jw@^Oa>rt_SzOP7.|g%^xʖ͈l7Ń,d}gX&:+{ıgYZ7zXZִF! ]ŗXi%6yN##? o@&brH{3{pmN$obz*OU:/>{'V(8)M"O[m;3}'Л,1&M),⨾t-=iR>:0/+wxUN͟"1[z/@23P|8`|.V!f,XS^3 )C<  ~d[dT~z[A;}5ѣ;x 4R`T G` !*I?¡}r3/2Wv+RMShH(:f.o!&}7_Bήj (~>h͆mKkg{pY-R@KDEH*(=Y~_y]Gir!5F۳ka᱅NGoؠK˹ywUԘ@Ma)/ĭ'kO&Ӯ-e"֮uGϹrk>f8Lѽ'mn)IgYZ52fa80881ed3bcb7f88b3eddb9aed5b9d35dcbd8 5634204d7b3a8fc4754a23297e39ed38e0659817 5b77bfe746fb969ca5ddcd17d1e46b0b332699ba 8d3d8e2b1d4ea8df79736c16a4854f21fbb7844c 921aac8706d4bc6323b06423414d9bb796c776d6f0df918d4045ad6c60b23213b65e87e41842eac3 28b0b14cea5cfab8a9e104dea18417239d359f24 ) Open_Induction