SQLite format 3@ .  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  D, ]S Pell:threads=4elapsed=14.145cpu=47.624gc=0.552factor=3.377zXZִF! ]ŗXf[&.y꿊xj>MX1M$H `q_5(`/+f 8:\>ӆ&.d5І[@l D;R^7{L.:[h)=^KRu <t5JddV dȘb xXuƁu8m#aC;.Zb<[U=VӒzy +eTŪG}Q^W@.܊Za Rx$!fC*gYZ7zXZִF! #]ŗXiɟ}]B)Z7|; Gz:Tv EمgDLo=#?'78,[i]~;dR~˿Yd 7ʢ`"FVS|pMp: +CKJ)BvfQgYZ7zXZִF! d|]ŗXi%BF16vxD?x u>wgq7#O5E֖vb3*KxG qcQT 33Ty3(orlQn_$g`B p1J.6 4/~=sGT"$Y5^ XVсL K @3 -C:al`* ]!>o}YoYv[ccukWmegq,ruXzD!<u .$q$=pr&;@;AxAC0<%: }-[>+ `?RyPrv#h0ZwvrVGB(*_2585MOn]`kr C~oŰ&'5u|mK$ RA~☚ш`˒n`aE $/b)aq0a 7OS :ռ4rdk/l|ʡ 0Oq"ltaŽP/WJ ˭{f>i{[?Rlf4D׷aBc8|/ ̉m:ȐJ0IIӖ8w.^|/S=?5n;<⪏B3O_TC i3@/y _U8݉3Z9@ Մ5Uq+N+簬5Guu-1Ys qFN;WcZWPFCHfړM\_,E^e>VؕD7 U  ~Qҫ >ۆ/+PJ0@՝'%@:]Z0AHs IF:T4&z$ ʲo"IflzOΞl0g4X6\NҧZe]m)@P`چ09rŽHBxW:X?FgKZ6AptMQ}do=p5O:b1^nN95L!qћ8Ai|\.rYR}B8XD'~p0;9$^ D֧'R]WWPרUX@SSRx/4Xh(nj Z DZgYZe8f1fee8b59ed23d0484873c934acd407ea0b4923853cc710de37a8d8ae8e2ce10739760530fc782 68e24fa803389d76024c730e22fc9263ebe14aa0 83ff64ea6a2b070362f9c43e10cd0cdb2f17973f f2c192cd6f3f44bc765e1f0abe3a1dced3efd4fe  Pell