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 2 dL< ]% Fermat3_4:threads=2elapsed=20.372cpu=30.624gc=0.636factor=1.507zXZִF! ]ŗXf[&k1Ϸzѻ.Zk凼@C8OiP  ~-!kyO/l?](ۼz颇OUjl2s(Nų)SnyΚ'qO%Rw^×K@g逈Ln'/sK): Ʃ\QB&ExضE6 ֑NoI&1ː{x)HӐZDa[vy ɠfzFAr݋ȧ줐98 3YӟK.:m`|[xl8@Rwl{!/ŏk~a3c+;y'vqgmр4= fP,>Pԍ\KURIw ic~[>\OnC's%%[181ΔtD8JWʅsuʟO?wMr%.EUgYZ7zXZִF! `]ŗXiɟL׎̈́>>^6:QWoja2߳#sT{?rnc'cP+]*3ŔflEd1!||{gYZ7zXZִF! u]ŗXi%>gpmGX7kCYzCP%N ZCҤDwq_<)))j,ׄjFc(p[$] 1nS:"=0B<zz&#]RXz5_S hhIYHcludY=㑫5;hwޡ 4h6LNG t(xoi@Do S Ow yb N4)R{iٟБ:5;:j@J$3F$QpdԻgE3jIقutGs+{BHYֿ]| xx_h`͕(8qpl3]w0]QI„}*c݅UJJuGۨS;$@&!L3uK*tNJMmxt6N`.v@B—`uht[?,@KJKi?ϧp/ E0x/ c T0h0~wJPO{Xj3ZmDLAkvR!$6q[KZk@2C_OW@:p=3ò^0$%od_9s%o+ndΩ{eLqGE/g@;مz;%ApLz'95޺v+v֓9IFRH\Qcgug%uUtV `۬Yf<4y]丄,kvTx*;Q*ӓ1ġxGuku`W\Lz$Q7cjZ ³3%QI?GYsB9~޽,1jǢgYe3G3HAL]Tt &93v#U%ozH;Ss1x#>Ҭ7o;b? Qhnc J%8PL7?! ]ۺaY6Uj|&R}ds6Q#  1If"\%.Π'IV '0Ih=v|08*+kz%!L;+8"L@^NӴzJYn$6G$=]B%N3 0Ko?}/e`ZX߶[Z8lnF5(iO pï9(M鴨HK)z$bb8,-E})8BIxv@/?g? z+*pxnt)+g&A粒Ӭ +_jAJHx*]Gbވ> ϋZi \i>iCNxU+~_~@v3ⅉWso, 31.gYZ2d989e7d1facd70ef48c2db6b835ce49bb246a900779f416e0333e930b31960d36caa48e35918b68 b6896307526a9838816e0ef6f162a79ce98e509f 47f3e547c75db7767e004a4b015e520c4e949d73 f8d9964663e20ec65b7acd393e357a95264709af d549bcb0b6bbf77ed24ea151aea6d5e37ff26ba3   Fermat3_4