SQLite format 3@ .0:  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "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 --P $$< ]S Pell:threads=4elapsed=13.360cpu=46.316gc=0.396factor=3.477zXZִF! X ]ŗXf[&.y꿊xj>MX1M$H `q-9/PsO-=yHJE7,iDbӰ%pb#PY͟r6DmŹPW $`M"xlwRuUjGְ3hG+WItkW{k4i$mlut.6A%)"&G`e]ny[vknԨ.0E I%'UСhAn 7|?u0V*x~dN\㝘Z1OpLUNͥ)H/f05_ErdR-M{R1tabF# !>JJZ h{.(CrBNnTLXn?kF>V,hyigV֕D LsQ L*?{Rτ&ՍgUmCOq,Tl!#6lC<]tgYZ7zXZִF! #]ŗXiɟ}]B)Z7|; jn8^[JԐ~[GwW}_?XL뻺"1X<Ԯ7 ʅ// sodI: 8~Л[Ns^t"~!r-z[4x'S6Ym;/r`Fz>09ʈ( =߈j0S$ϒ1 Vٌ*FD #l-:Rsq@]v;5ID#-UP2ܰEiXy8G]$Cj$w}ƾx=+fv ;&}sR*Hn_ښ_52нTwS ؊yq3vB\T>%M~ZZ K#(wmw' c7s-ȤzxcO{`}6؝Gߑ+j<78:!M[y5{na&ZU{&WK_prH>AѬ#rJqc~ޝȺȝ()f/FPgC=&]3:+R/'vU3 +gxY6H8߽ᡬ҂i4TL_.0^v Fjv$@oÚ~4&DnaBl}ֿ B0_m?NcAdc!kߛ껈W3.a@1ˇ!ཉL%"1?G5\x2LV,dpѩV/b"T= nwmqdiPJ |Fp%01T.eS)NyCe!}X=s($du9T6.OG_|W8@:l+' qkqY:Hw058vrJGfW.V6Ol,l`2y{Uب )gYZ5d3c76d403ae6779fe9d27397bb913f808691a8b13f786b8f4762c1203e3da5c15d634b6876ecf36 7ac514d3394501c5bf6707600eeac5a1d30a5454 8995119552147f6d78790acd1b2d4551c1ffc2d5 b7d4e5bb0195d6fc78e68eaac929036d7f4e2312  Pell