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 |7 T L ]]Pre_Algebraic_Numbers:threads=2elapsed=14.249cpu=25.616gc=0.884factor=1.807zXZִF! $]ŗXf1-/6vRZ*_u#K{Tujab"pm͗t'\H0UCEp[olvm4s|jxϟ^Ր{-^ūlmj"+:*r'@j\RR \AVYQVV^O]y`>~fE& OEyzA:w'Kg=s ~٫bBAQ귻}}78xo淧k*u2uU2gP˨|1Ne?6xJ5)=)'gP)Ʈqe?&PWA;co%V4c=ja[zޗ &mT4.5:70/=dC" +-R~Ĕ_SLClM+9B^d ,_c 7Pて"IyB+c+!yu2$pٛ 4s m>,\q@!'YhAuֈ>II\# #9gYZ7zXZִF! ]ŗXiɟ|E\ÂQn\F]㧨aWطe;.욕qwd(͆:GL_v'!_ӗz0RUB7KHGZ0af䉃P=m6Nu),^_Pq污R@in@OUz7rEɁ1K$5>^]u;1NNn/gYZ7zXZִF! A`]ŗXi%;*̸I~)6g%9I05-\5s^;GG r筩{QÌ%F Rfyxr-1sZcPUOHTq,g65U]:!g_in%/[[2(IkHøȻwK Ku*оU',eKhؖEH}*E&s so-ƖvRwj5$M7L!;ǿHIYE BTeё u|#wC^n߇Iy^߯<`Y2jAmC{ֽALJKI5~!Bbd5˾l3r.mܻ}L0rZ/xlP.<@-R;nzCg§y/fzQs ʯ(C\<@f:59NWMZ)TbjHu`yI|ߗ n{BtEKQ=!/en2NRYuJOqCٟP.,M*إרF݅d;u8j%լ7R>_,H?A.| 7_Ex#//#'(Pp>Y aXC#SBH0x&Xk]6b@" ԭ<@o/&xM $; LE;(A0C7qS -ܿ5qpʂKɜ Wa^GS;Qo0HW:-'eB "&Uܜ}*"8_t_FG}u| QmRdST: w\,'qpѓ1OaYcT.gd픥EާtIjVfHek ${ٓO8'^c `1?W "8zs@pݖ{Eݺ|ȃرgYZ5f3ad2e33e5d4035f7c834c4abbf3904d572b8912f45ef79d98bf4791ca25c4e1af3b76b517203ad 1b41415026d3583c6b6bb0d2ec2995e8feb75528 6dd7123fa75097b18d3135622d27b8f5daf5537c f3c772adc1d6e37ddc8b7b6af2e3df495f8f55ee 1135eacc3f6cc731b9bf830d7255bb687ae838a5 6c65519935fe13913cff2ca46ef82e09081cdac6 4c7f10549f8b27e90267aa02a4be3398e12f1728 df8ffe0e17ce29d9857ef17efa4f603b0e8faa36 f2ef62e6e2a3c1674d1e1e212d5f289204aac830 3c317878a49d0b653171586ad0291494520f444c 3244c47b364738635b7ea0669232cb3930f82cde0bd4aad0028daca0eb4f93cf80d055b84c00cb0c 7 Pre_Algebraic_Numbers