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  X X%/tTt ]/ DataRefinementIBP:threads=2elapsed=3.030cpu=5.420gc=0.092factor=1.797zXZִF! U]ŗXf1-/6vRZ"P*nI۴UyT,!W-+lMD:#2U,%~ vjRB{Q#^(7l6]õtӽfR/x%wx޵A[է34i/"e|0EcbMD,(\ȪصԋVWg3k:z [篿J:BJ;@ AgYZ7zXZִF! ]ŗXiɟjg*Cp a:~- ;t0JTg6aZVvqMSCx{gf9{ eP?8So~5[ÉSU}Z|gT #QWnplH \Bm;Wg"(" 3(qgyh}{VeAؖZ󁍾a }VAk 0nW8~JJ gYZ7zXZִF! W3]ŗXi%6Sud=M )] 8>$w2D#*_1A qW["O^o/ q+ `pIv@>WaSɕ(vFflEƙ*-wv.&ݖ b*kSFL7 fCt~Q$ ux^]e{Zof꘥c:8u X6ޛ 8VnQ NLuo+x6=y,612rQ[$"~q~we54Qw?ʢ"3Q{v˂Z rSrO ZiK5qrV;&w`. M(_)$W@DJJ&羕vJbڙʬNc|n8R2X:y[)F<+D~8nI‚o H-weΧxbaW6 tT]f;˻tKXTY\1uG w^