SQLite format 3@ . YYQ77Atableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_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 +) D, ] Landau_Symbols:threads=2elapsed=13.552cpu=25.740gc=1.336factor=1.907zXZִF! ]ŗXf1-/6vRZ_rO⛞[\5((jgڙz*1HVs]}qj/F;q@t3q[S\dG-=Ԓ4*%vp(-b5B'$*odESrc]q!c[nDllˑ;ٛ͏O6yuۺ=TREZ( FӞ?6漝tsb~[45O 6uu)yKOCŠr9!]ܥB0gYZ7zXZִF! M]ŗXi%60n9w}3A~̚:+fISxmw+jHSDbw5qmA.+OD~4{)xfNov dѩ]9ꞠeEcRd7XPBiA?{ rPrP.`t\,kF ~SLg4^U$ :Ȼ,x3GtXeNJ\XդW̦h֛Gk{G>b*%a /ksO@ (h= 1V(60SߪcKcȧ[ѧ̋bx:Z3Q[jy;5f:^:bN' gnÚOT j]Õq# rd5\hG%pepv;.\BBN1w%c%$(nΚ/}Aeky~Yfe^$'g֒(ۆ~|4|࣋6~6(ۧ Do QLжk8-k1^J~MֿN)ɔn /&4ũ%‹{W $+8$XQOvM׷&llFFTY1 NYIχ *bFb˜_[cr2Zߦ7PSVa2f{Q='a d*(@-)D:b{"9d*&PZ!MDҹ(ՂIN4Zf4br}SLG $>-l=1hgxHЗ P׮t39p;Ck `=Y0Zr) -e#]]ŷ|FWdhT#Z>",Q{ı~eAjb˭[R''վ 1$6]7pdw7!LC5b(pk+cĘ]mTqyf <24oI tñgYZ4d0a0f27ac3de699c4cc4110d05abb62975bbcb9e3d3de0c105787f07c71be3f3e76dafbe7c86cef 26af89b7d57c7a15a989446f8ee1ff99d4928d87 37a5e7d87b1de36723bc2e935ab779ac8831a48d ) Landau_Symbols