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   j |4T ]/]ZF-Induct:threads=6elapsed=3.300cpu=11.080gc=0.364factor=3.367zXZִF!  ]ŗXf1-W_X'g+غB?Z`OyyɻVS[Ϻbhjzb NQv՚-3 VxQ2HA0I4v?R}1s4龻Mw@=S !$'eLǤ{sK+Z4I;h,slN:+5W]&Jau4:Yq"zIӠ>5s-JKt\F)azOIpN3'Jn΀O ޱgYZ7zXZִF! ]ŗXiɟ9\'BFd2KIە~!<_lWS9Szi=b\M? a$kYkvo3N<Ӵ\Ho_:.(ǝiLPôH1mVBn\9uC9y$ xO2{@\Fі>2m]'K̨vߘ򫡩V'vDBd1 wќv@m-D6 )8-W/%xd sq)\lxBHi*^07NSAyqGi:gYZ7zXZִF! ~!]ŗXi%6SnfV ҏ=*(N^*BPCI{xqKpukiCܞBR$oKUjeV@QBٍ`(ϛoJ)>Q F]t1J!pRDYD* DF~XۄِI5S eGk<Q糨{!C \xPdhcTA%j%̂lo:CYYC?E7,b&cfZ dR~Xw-s U'߼w/;,# ' k?^ I~Wf>gG{Ybڛ9Gtq}}+ˆB' [d 2(w*4箵CtV@,9~"h_ XZp3L^M ^m  2vgYZa5ef1d238cd39e356f0c3396124f7c5fb50eb740bc04ed3d5e3d39fc11eed643c195af42cfffe6e6 42d4ff13b8c38aa4d000fc2e6e6fe051d57ff865306ed520741d0e53d96e6580b2574109c1f2e365   ZF-Induct