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 n $T ]/]ZF-Induct:threads=2elapsed=7.810cpu=12.420gc=0.576factor=1.597zXZִF! \]ŗXf1-W_X'g+غB?Z`OyyɻVS[Ϻbhjzb N#)%{p6rzzQʳèu G|>zUw;5^g:CS Dʬ3QSw˿L]B2Ht)!;E>NZj:˖rw  @xA3Adjfm4"Nbظ_h IA#&x̵9x *V fgYZ7zXZִF!  ]ŗXiɟ9\'BFd2KIەvIBXĮy|MO[1a\,/~JlڝϋG!Sh76^ޤ<X,5Bv94zyY/o)x~'?v J' öK˪SY\fDl,IV4v!GIoxB}[Dz3Dr! <K@\jORJiQ߬Fw=F ,=U0 QgYZ7zXZִF! = ]ŗXi%96U˃1a&c[ҴT2ڼD q>Y#n!k'uZ3zbA91FdIP7FSukL {z{ZqJK~ H7u1*Y X-8z6f˦'E8FhҴPVZz#(O]`ϟ=?u+|#}^¯D5/׶R-SD\;b;È>IZDaL1 n^Vw#+bu~_I^uA`h3/>Q|'. -^`RF"o-X)ẗ́JSx..OԎNnNh׉yo+wLY#]~؎᪯8ɍOowp,L̊©Ԉ@-YM>M,U&Ψ١4qFYMcyUs6ͪZcE[OX6&PSf_<֕5æLӮªsS-6n Pl\OV'l[Ռ,`d*unCS69 C\i{??_1dm0#yiktp%vn`chm1,5uu4Cԅ\DvfD@XwUT(!@xserU"2#z+.zgYZ4a11f89ad42256b2b8237a6a4dd11e7e4bb4e435e42b3e1f6b1378d353a536b3bfeb7e98c73ee3bc ddc254d247935e692b26be3a557b1d1ce79887c6970cccc71e28b567558b8d5b832fb8517ec6251c   ZF-Induct