SQLite format 3@ .  YYQ77Atableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_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 $ ]Pre_Algebraic_Numbers:threads=2elapsed=18.070cpu=28.488gc=0.536factor=1.587zXZִF! f]ŗXf1-/6vR[]SZVB@I3Yf/jG o^1Q*${5;;ISf;$0d%ޱcSsB"n!jt"CT?XgkH",>DF%Xt8 "с@ôczXL'ɓxScQ|`FFkR'cJ(%+<\.0qj|5I|~0{ |!Pu'FjjlƨmTg#a=z YcPAQ7*\||0a9Q;k<;({=t vEkJKl|MEGxkVAi +ͭ(;X`qfUʰ72@kq9*_Q0; *ioQ).)%([M8.UAm&zW|1ѺE1ou >;< & ;\=#oCil~v (:Zwade#w}?kOkxuP1TIf{idGbcN`f@|'?݅ϑn9`y>IFFc> E3C{4/K7ĜDԒ: ?g1]dٻDx_EF(c= {u1X&l;QNcSqj'beR``֡`rJ e+hϮڶ_$ q(Hn v9xoX,A.s J]j).QI\Jg|x] %s vU•|=(-%f"y`.Ob7[FBi:T/ɩ$/5s7.NZja5*,Ne|S!m }Gxs O1wohN|6x^qQn#Lgm0T(:@U%"3[l"d5O?)rT dRD5#)J }>%Wivc7"P~V)glLE _z ~vuJ˦$Sj6 MMֲ%:t{8]ݻ #UYp :(!EՐO _NM(U[ #[JgYZ19c8dbad5648050597dee363f077c3ef6069ec4f 268e812fffa5c2fd46f0296a94e824c975fbcdaf 31daccd87cc801426117c4367aefd2b43665ed43 3bb07f8e7368b3a16cb24f337bf4d2dd1fb431fd 407edce55bc78b9aac458ee75faca6679202c9b0 463b2cf812e4beab5fee72b33f00ce4814102222 c9385cc853612c59a697ade4bb07314f1f2a52e4 d576543e393bb727a76518a74a7611b656b88e98728eda92c596448850baeaf541586ad0cbd7b32f f43caa9e5e417d16de9ac31da220529d0a28b7a7 c0de3a72380c3ab1b14c971396752f50c590bc0d 04a809032088b666714457672077332531c4075e fd525ace5d6c3f4379a77edcc47116d403538dca 49eaff697af85ac5260c32f8c296021867391a04 36356dd5894b452887b3f17922be41069985a8c3 2192b45185f127af5ea47f1cc3a2700ed6526118 b80c9f167b450bb8113d396b0e6f83432cd27595 8ed56e4da1a90e032fc4b9150174a13ba7fa2422 de933f012c77ed16128d6578b9fecc9ecebaa26ca23213dc2bba75963a6a779fe37389a79708c02b 7 Pre_Algebraic_Numbers