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 ZZ#5 |\ ] Rank_Nullity_Theorem:threads=2elapsed=21.660cpu=34.232gc=1.508factor=1.587zXZִF! I]ŗXf1-q恈͐7ӺV /K!W8DNKY>OjxiKGnC)p?z ςRjk؍*MM| hb,z|(#Hs躂z3JRc_i'W}l_=US+GxxNS1HN4\}2$ 5q[ɰG= Ey5f0L`J֧72Oâ'T4oyȔfb 5qI2*u_ZX$58M \QyaQV{ !8Eg9?"ٺ7ye6m fA`:"K/n>*ogtӿ:1Da~s8D^Yv9 $*4v8lĈP%w[KUl=ʜ/y7.$>m>RgǹεQnb`]wnC_[t_I&;QьElFt'/)b{_^PrzVgYZ7zXZִF! w]ŗXi%;)6:LLIKh(M1%=fǍz(̆TZsm 4L cK7Wl|146‹A)790,(S&Z1 > `@WWl?[AZo^~h.5o?:Nݺg$R2= 0)]wp_ dML[SxłrQ*,t6@ψVӛ~9eT'"<ddm(cOCpy`rn/7.vF@*bn`sGgÙ+sXEz:g)lr^{ ߴ_[)( LlD"`/"~y~%ٌnSv,̂~/GTXQvm? KMJ6OKv丏Ft'[ʫϮ6y>"taQcM֘GGve t9~9?z {D8#W?'#`a^1^Yw?WܮvQ:ԤN Z6YQ`V̇i0NlimDWB&乜Әʼ h݁.-ot3$ѡdYZ(GW\44ҧ~9`l{|-R>SK6=!Q>gH i厭gpF 7<דa`45L1kӨyKyO!F. 6wMz̝`)=vv͉sSчGE]2Y+Z2Lg.)