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 ]] C \d ] Boolean_Expression_Checkers:threads=2elapsed=16.379cpu=28.876gc=1.908factor=1.767zXZִF! v&]ŗXf1-/6vRZk3&pTsqFK9/mGJ&hr.4%~"DFIUw,J #vX1ف̻{ yIYYT(_I>#?ıg ?<>{}(zZ>*)1VEk7~jGW3'p1+:wQ&+ @E #'#JOz?OiƿKpyA(u{yJgDTvfr$R9,P?n%,;w PagYZ7zXZִF! Tn]ŗXi%6q?0)fVx{dmveT);5/喻mj=rZ2cF[0k+o Q2bH!d2/E*@^~ڷKWoWx?;XA1-0d)6LE/ H\|6G*sRJ ըeE¦ЎUPSq?h7WHI;F?t\+q#z3x{d.O vy#KЊtP!(pVOmڮ/cTG?RmY0%K`4Y?WXE{I[*V&}l{O1OqP~~lyA{*OPb3a()NxC8wLWs* '02̫h;%?;&r.Ki' ׽^z~HZ'iCjGpz(%^@M(ۮj-Q`9ws|f<:zs)7^ӏ,J%T` mq&,r%”&d4/ݟVMP!{r> ; !XG%\93חӆNGjje\/ڤ 7RT7܌<.U,zOݰNX] fa#k7 ӏ>րQt^mnq\+2ɦ.L{0VZ?(axĒ1>8\zܗ&\dTU)SɎ8i8NO^ =W98ۃTEG<y8(v¸ (M2d; | CNhV*eF-ȳ hxgd5=ՖLnr-C KYB2ˡf],k&]CϴMep;?f`I00:ݗ,}%HfrԖ