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]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info  c c+t|D ]% Secondary_Sylow:threads=2elapsed=5.985cpu=9.672gc=0.428factor=1.627zXZִF! A]ŗXf1-/6vR[]\Rǁ- 1<4OȱCMgWMmdE_8f t3[W;d׃sr"/)BV{11)M%0&*:4Ԡ'ÓR[_p) +CfݰX5#WRhnWco^4 1BBSj]xڴr._}G"tV61zNqo$8X DɱgYZ7zXZִF! x]ŗXiɟy|1J(*BhJp4N=f/#"7\ NB$:Ug? n,0KPL'pB?e*{x,lJLN^n5GR %ȱgYZ7zXZִF! +6]ŗXi%>g$PM8ۯ6$Cc lT-=!.a*稃A' oWd%& NI~V~w้o[]f0use /AkFp5u?"q\$qeb&xDIg!녢>NsrֲhxVr݁IgFORMfA`xK)/9Y.! bj'viIٰarg0֝ WUY-p?K;2ge) h\}^kL.Y>?tЁWLeV(\Ѡ X_(/X=P_81e Rcg|C3/#UIs;g>I(;83!,FNa8Z9\ PkEOfV~Ѕ`ৢ ~@α}X٧i Πz*"M]+tQ4eRS떍T/3ᩡґӹ=S"gqXM(%؁<!0yD&$t57Htb/xiyo}ܹnlZ+Zŋ m1N'7ıC/Tڞ+"SV4hgYZ14d8ae9f5fb3631b7f21f2d0fbd9bd8d7d773168665af98eb5b604629a3a80f1bd6c88145ac43a21 27625c6a71bbe28fc0d93a17cd760af834a4e6e7 ef4af5ed7faa41a9d8d5237b72eeab989fb81c0b 5d78552cb887983b70c3b7983c4c3bdb3374a7e6 9fd8f913010b5a1187b1f9769926bd0952d3ed14 + Secondary_Sylow