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  T+ LL ]/ Card_Partitions:threads=2elapsed=6.966cpu=11.768gc=0.188factor=1.697zXZִF!  ]ŗXf1-q恈͐7ӺV 4GJ34nwbrpGܟ*\}]d:N& Z: YDJ~3ɤM'_v嘲4l緍X|"`!'M,} VsZgn"7*D/jmyl}ar 8뢀bFۧո!Բ6h%mwCکj2U/$99?me)w`lї~Lu*w:VvDCVS9b-BSjX#Dsybh4GI:&Oׂz]U|ēB~mJy(RM$ۗ86J=5gYZ7zXZִF! *+ ]ŗXi%9#qw`3%FVL0W 5_ެi_ Z*BZ9fPFA&C ~rdf}PF6Iz-,?D1.^U9ʗ߄U(Oi5)OO)WDJ6SYrxgBf +͝bZ|w}cd/o}$PJ NV,MlFU3(kP N;H0,ÄA? B{S L{og|GZ6Lf ʲhZVHvqf9Je5.t/e#\f5HvK"n6J˘ʦɒf[L۴8Z5Lvcv+YSA!rGoJE\ɲdBkZ{-L>^-=Jvf٘{L7"#f >ν˻6˸ws6(Q!>fU--!ot0Th Vpd/eÏv859QSɤo$~K!w87tZ!tiQ>,a9Xy0+߃;>065T-K F;[)K$|6 Alj#KJb)#d#j Ԝjl0d׊ -{[)&d>* wY:Y<*O|rOk](tSJ ŴɈX='*Ąv Y>G ]J TMgYZ248b1bbc1bae5c033dbfc009f191d6e67ced7df28ae0489170ffa4e9aeecb054da5126bd23bcab2b a42132ca83816d0082ab6b716aea896bf4d99d0a + Card_Partitions