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 !!\ ,\ ]S Pell:threads=4elapsed=13.824cpu=45.228gc=0.444factor=3.277zXZִF! ]ŗXf[&.y꿊xj>MX1M$H `qI2GʮXh+Ё蠂|th#r\7t %wMI7]* {Y&}^N$Tzbǜk5u빾 <=](C䬹6>ym3 k0 &A6L@]Ck<}ƂӪ6Q҇VT,qd~ ̢(@e0\-"fjg,CsaV%>ҚGI|{0U? zwY@szv\2M@,箂+6Fm(N)`׀>\'nWk␮8L MKiE)J=6E; &xKz$V^LEpNcՋ~b`te_ajekK؇1]HIy0aE'>gYZ7zXZִF! #]ŗXiɟ}]B)Z7|; NjSd D(FA3>beh@dV!GbNǫg~\XutL8>$ -Xq~B'vzpX}j ٕ?gYZ7zXZִF! de]ŗXi%B8_t~bO{ZWrRCz?` %)ttLsa =?.͍_>HV_)Cf nC FH /-ceoa4=2 WmfH ?UhyꩥmVOqeCn_}%2z7Lh֭{ ̋)7+ݬдԍDѦc!dtnI?=( G6uy`=`А88?W4u,Y۝JU==<C6}xK좢G<jTaZ09|4 c:̶T ljJ@|N1\mq1*AN QU` kTܠ yXʝ yfp8A%rxk-;<3o0⫠&A0LJ!Rc*+ZCק 2 z~MEe?i~YѮ ImK̘JʤSTU܋, 4؅d\!UouQ&CP b`q9)WQs|(k >:ypoא.k~и"I +4] %EzpTUisAt/ T ;P'XN({Y4!!H,i۞l5`$k^tlbhrOǥ"o}S /}.Vgl7H|տXǑ[Q|u 8i4DvP7)%q^{a'I*KbKN+:"]3l7{Dnu:KWI-$deuCґs0hwTS@`|U筪r9o@'{- K1(({^F :$5ש#Dȓ5LyY@, W`?4ԍRbp5&Q3tXk<{qnE跮f۳Qw IõWB[T6Aq0WIȸӸ9(gW9sp"+ u1>+yt[P[EHR맙?޸#*G"Q“z]E? ֍N:*_Cy\;]O N$XlO,<kμhy6I}=X61 9b,bWenR;,Q܅ 6"97}7h̚.%b_/u<:=.qu4롍|R /m#PZl 5To #%R57;Rd<3;}R,H'$pj/̤Y(4ջ3m<u.[+W}B| g7.$MTOn'dcoޢ jw gYZ1ff75da4ba7f057399ffc790b9e271d40c34bb6bddbcbc2a51857ae6e2c35d0f0dfda0600638ccc2 961d7cfc19b96122dabf28304bf6dc45da32abbe ffbd0cc1d9a39ba67abb05d830856036d150c206 fd88c1f759d55ac98b581e616f551372bb756e46  Pell