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 k7 d| ]w Buchi_Complementation:threads=2elapsed=17.304cpu=33.240gc=1.284factor=1.927zXZִF! +]ŗXf1-/6vRZkĿ>@񥽧^n-IG$w'H, ^#ޏޔEO-"`N `V4`ufSEL8갈YzTxa ʐRcQ6Ik´F>u ;XkrA!t{mN'ҧqKYA%ImZ&0"Ú)i B4 숷fXǵY:$8r 3p?(cISH(sfx}ztL "\UQ;;B}35zLSa֘6x aӼ x̨q84?{#78i$x5JX~$E{q 2uC_d/PXFxتƦOqXfkm5M|=]!SC>n}O'&&ǨZ~q1s ԁ+q ,gYZ7zXZִF! ]ŗXiɟ1˦r pt#M&")ohEdu8V'-q4=lIˆI]%i օpRRp`NtQiً͍s_IUL3|8H|wTz㋼6N!*9}gYZ7zXZִF! [A]ŗXi%9#qt|jܹȪ~R$`lfu_tݭRZo: @A'"BQ c ^NcT)z6 =_bD֕5 mm~ZwolP umyU>;!@'vؼ((Kpf )qXW/F‡Ţ91?56ũ2kUNp{9μ$j$7/Мf ^ 'qk1+?Tg 5bmM5@{"2!y!K*KȒ6CvBVMVca(V賱*Sb˚D@ )Sx~Dl?A6KM4 0 DDaJţҝ1HN2 Jra5eɇ'!=q߲:71o]i㬛C.]!5Zsyޜ};JFO?Rw30ly[aN8F!dޕ&"|K͔O@\B U)kRt'@O#8*zEHēSos]#8 y tYE_O*r::"!]wP g$2e#J $3_,*udy-<;727uG휉-*& _NR'Ta}Kz<0fI(KNޮȂ,C_'1ɞGQSeXe|uB2Gsq,(!pǭQL|38GQ/= Rt4pEPv[_Mk!܎1 ޻Z[ITF'Z`+/{0GȝzT~! c}$ T;3ZE/-d~K?mLgCdS3J]+<*:7D>6޽ M8Xd{HY!"