SQLite format 3 @ . B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S- indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_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]7 indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info ,#lL ]/ Parity_Game:threads=2elapsed=115.118cpu=210.340gc=19.636factor=1.837zXZ ִF ! |/.] ŗXf1-q恈͐7ӺVd>`;Gؽ8nt*q* .#lwgh,jkMn9EE17Cm㸶s'frKPbͦu0'_vx?k̊aO3%H)?W&=p8i`1/AqmH2uٹÓjMۺ!H4~( LzP/nS} CBhv>p1 NdR&|qU9qN @+ع}횃^W^T;̜sa+Tmxdp ܌gbV}R~8f`B['t 3 P7հY:/\ԼTџgxCai"/OUhp{Pvd!z}+ H:ڨ00(oG ]gC'̐ƌy[gH㮐a$+*o9%lH>ЋAۘ7ؠ3ELqL4duK[ 59Ѕonvȱby(:'@>ۦ)b;ӟ9J6ج'hKq'o0zG\vYIҜ''Bϗl Ӎnk+Jy*$ -ma3B%ʳAɂO5y'r$*gfğ֬]7wLLIv+\őC-ヱN\1ϰϓ br^*D{䔙-vB'`kꖌd'AQQ Ĕ_(%KU(+l@iijY%˪0'w<&EJ~](5Q`Lf>GgxzYYsOJ4D+f|&(%'+I$I+W88ZC+aU9E [JZ^bUkL<17B愧TZaՈ_,b*UcP_>e}A`&/Pj `8tևª V}p1r1O]%C4 v2"[hy˱2K?%{2_vbT K|Ȑ_[G'et}Wg{,>' eR,i(Ӆ^%p\M䭏½),{iuHn1[F50l<eE¢j0j)0?B̙>K d,']y\2|R٪R+v>g`̤ga?ʸE˕-mGME8 '4gңlCpEqk[1G%Ƹ y-5yNOWsg'Oռy{;@)=>fr