SQLite format 3 @ . Y Y Q77Atableisabelle_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]7 indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info - m HOL-SET_Protocol:threads=6elapsed=24.564cpu=99.236gc=2.392factor=4.047zXZ ִF ! *] ŗXf1-q恈%vA?'GAq,$L;N'nH`dzAFp{Yz+.cÈb$8wSUaJ;Ħ qȵPeص]_#UC;^ ,u!cb?cSBEnFHxÄ)ok28e D +E;DСL'ߦMjp3Ub.i.c%3rQji}f&`ܡ/;-z[7
8r/2OyR |Q.Ċ8KI u1-NTc˯<I'ns|taD0/ Aɴ>N//ikXN=jWK =LȶѭQy9=rG~3U&E¨Qʫ0 kcCH׆D7XXŵ'd@Oi-K\EiƠģ*F[ХA'!G\T`z{ ܫzO$w ~>Z}d&M ㅋ '\s3j;ms>3#_ n2HY!ONhh$Kt-Xr)^ h`Һt_,3sv} ApHmn.km?] د_mi80 LUu49^Pd*6C3ezyl{̸tEVa&xbcԶm/2CVLK#\* jV}q[28edtUfP۲|LV2c,)6AҮvtp02&Ș õE[t &Dʇ