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 ''V \T ]% Fermat3_4:threads=2elapsed=18.564cpu=31.316gc=0.604factor=1.697zXZִF! ']ŗXf1-/6vRZ9EsːRRuwz0n1tzg`UWz^ >Fҹƣ[=w5Ek@s*q#_;z"(TX-X! m~PFȻ|.~,*6lO9"bdOsR>9W|p7--1Czqot/;BܖBnt3׹kU`ֳi<,ƕX>^6:Q]a28p kj&> o3:~P2ZwKdu nlX~6gYZ7zXZִF! lb:]ŗXi%>g,ܴԬδM8Zi."ED #ؒ;[Ɖ4/I5<xG)v.\ cߠ[g}WOgTHӲ^aN ;{u*Q~N+z7R%ɬril7Dy3J@ _F/N5ڧ&56i0_6dAlP$@tKh[C!|b{PCfl\LH̸",#j%msE=HC?}J}=Mni?8G:Kzxb AKf-eAkw t.HT1ۅ*Cֳ]B+8ՒT8>1#F\4}) $) |eG|@^ +/05l|`;E?DuL ).&mwniİk˧£1+$ `NW$B>Me~߂P~%/}I=N !i$'foSwKM5!׵eaVKoV22ٓ$c~O@*2|՟4Ad4O G <1=t܈HrGfYoɾٿc  J6{ L;&]c0a7>Fq,Z3nҾ7jm}="ÓQOTu5s šec5JE/u%}Y`,fUn!!l u(Mp613=)Zl.x1f- 0| MYN3Y'xr=n_~4"O'|N-mF7aAg26ɅɑoBf" ⅄2(Cq7f›@CDX?{F!d_`]%ƍ>˂@?h,P )s6OVQpG9-_ }gYZc455320355e2fcdfae120ec130f2c27c992fecf0665af98eb5b604629a3a80f1bd6c88145ac43a21 27625c6a71bbe28fc0d93a17cd760af834a4e6e7 ef4af5ed7faa41a9d8d5237b72eeab989fb81c0b 5d78552cb887983b70c3b7983c4c3bdb3374a7e6 71337fdd1f643448fe0f330ede7d6192db39b5f4   Fermat3_4