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]7 indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info M7D\, ]]Algebraic_Numbers_Lib:threads=2elapsed=95.434cpu=169.036gc=7.268factor=1.777zXZ ִF ! s ] ŗXf1-/6vRZ*_u#K{Tujab"pm͗t'\H0UCEp[olvm4rhGLliŦFQxjɳSVA&H+3IrlS0*?qi#M;OZ`B9N3|KXD 㰖[[Z~Nn@vPNMb- ϫH'Ϻq^a Tݭ;oDt[{^F*ZWB<'9ǠEWXQfoq ;*3,y<qt]fҸDq\:ҁhF8Ds+ԭ\`xBmݙ[j}oReӏVC7F [Sydbo."]rt*voi:ZtfXes~ Xo%a+xv?]|j3tSɻ/|V56+ԡ`͎J\ɝ+1*{,嗭t(
N98/ncZ[01?'*H
7 Algebraic_Numbers_Lib
p&-JIصA'cLR\o7(BFMo#_bd*3W{h} =7-AGBrւ|Jk7L}"n-V9
!E5K} n46}"ĩvmp|ѓm8 O?E&n{b[