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 ##Z)  ]/ FunWithTilings:threads=2elapsed=24.845cpu=43.004gc=0.228factor=1.737zXZִF! ]ŗXf1-/6vRZ#q$-RR s(|CdGpF.eAqb3@t-jj1Ҍㅐ .?KaQIY f' نh!bT0u {]鿨B`F_2}53BenzI<} wm+,ؠ w>UxEGVx77ȏ 6g#وqɭ2Qe\yDejʤ9bkZ^+iY d6gYZ7zXZִF! |r]ŗXi%6r_X:OW }g? meDo{2j&`3e3dS,eUBuC\ٷ n%I9>p2\_Iy kS6J:W;6=}4'! ' rޙ8vfDNuq2vcIݵ,schRgͨLOvlI~{ݹLW _G 8N*q 4Wp>߲jL*w4ɩAS+)$՘%R7%>MCӴ=k ; s1Zuܸ#DN DPY={"-=yh_K]{"b>__VQOHFm#UͿ^;*<7 TW[ ci,ԦQo7~Z"hdkT]+Ɗ\|EibW|3*{h麾~~i/խ\ew:?VԵSt$ by?B<;T򊘪#oˬ1my@E)YrKٛmӰ'4y+5t R^:&<u8×$*lyԠ;dRTk+VSz?>7v4Li6 B2ldžp`5?KՔ^{m$OPDGOmU,AKij1q=5Q#P7گHrfB> g5ODehiᇂ}WSTkNq}= !Qd>R< 2=mu07MC二 9{z sc 1Jb#gYZ4498c112091011f8e31c58452fa5b511ee1a0f5572476e49faf5ae81b565cd9a808c77e6c79a7cd3 1847274f423d78a61f6a5c9cd14f9851aa9995d5 ) FunWithTilings