SQLite format 3@ . BBh77otableisabelle_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 D7 Td ]]Pre_Algebraic_Numbers:threads=2elapsed=13.246cpu=24.076gc=0.756factor=1.827zXZִF! !]ŗXf1-/6vRZ*_u#K{Tujab"pm͗t'\H0UCEp[olvm4s|o;kMA Gr܄M Y`dfb&|fOn~FHdQ3,qCNl t}IpK2[x;=N__%$-:TI7 |o- ^/5[R50Jp$"! 5q$ɩ<|QTU08t4]ڥޫuәG)a*z.{-oNr~f5ty`XpL412S|o0yjhysPUO\,_ U+!ZQJDEr~RB-K ?r +_ժX7 &ښ ^[D](]|bͣs27nIrB{t=+c5tXTWW <-[;!lI%0CrgYZ7zXZִF! ]ŗXiɟ|E\ÂQn\F]㧨aWطe;.ͭl?{f.a-N,ka+K2*$0XNN6N{Ō{i$c.G>l /X+1݁wC۞2Z`U 2Tc?v48/#pSD4s5gYZ7zXZִF! ?e*]ŗXi%;6YS;Bȩ?j njlG'!WVx: ^wF9¹yJyHD!ꪙQ~FTSvƧP_Z+JP!9Tlq@,Y=;S&[q5` 7KDu`0=|b0=ht[iO0a%k %(N0;(51]&ǪVs RṬ[&͜t[t~lb8Lլ^t;Vs14949)ыN mK% s1a:HXB3'ωsqm2c"^?z)-vh!җQȜ\.ҋo4se nJ -o)k?s,tS~6'(B:};TTX}> q=PjA s'[\)JW7/Pn8jq.3yDNze*Bav.Y*`xN׼58Wz9GJ^×HlwP:riQ]o@oYܒj  J Dv*): {I ^ЬFN#EUc.M%$]M]sR 4}ϧdSu ,p_QHt 6Ư gYXo ~w3טp_5xS. JKD@s1PWhsFp||R+YO?RmmtGX425c ץP9b ]u)޻䡄.X_Q ?}Au>}FWFQnMel<ǓGAt& l:E2ӆB9~}mj?%ռesላB_uEWpR`>V,,Og-b:4F;Q"!r2w43Ǧr~ 9gYZ7a25e3f90c81954de553f994ff0394f2c5c13cba19483222939fc489952fa9ff470a43a5bdddd767 6fb5181067c76ae090b98814e5ff8a3a2ed813cf 05722cafa430ad5d32034406e0ef9a6274c6ffc0 8386aa35c465c1bf7e052e4c0016ed8cb4d6f45f 4125950bdf88602b91cdc82eb61b324fa9ff64d9 1eacdab45e72b77c657b29f0f896366435c2344b 5a771cee28ac5e62d5d2befc072c4f6fb4cf4dd3 8e939cae77510d2cd3e3e70f1fb907ccd74cfdca 87617417ab8ddf3e7e4aaac3e37d97628cfa8620 401632beff95bd89c07e5434758ed1869c648204 e11e092823bcc7d1ad02ab579e9892beba80b4c5146acb376340cb1f2a442b4b19597ce1dc456ee7 7 Pre_Algebraic_Numbers