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  ,D ]S Pell:threads=2elapsed=21.765cpu=35.688gc=0.432factor=1.647zXZִF! !]ŗXf1-/6vR[2 UF9%3 SxìL/`s*O28' %5=>umSp9?<' FHe譌"ܗ1=i g >852_^[`dycķ˖X c`% %,F9Wkǧ8794/]6JmN+'>(G3Kܐ젹ePgjX=Gbɻ VUSm)\?2Bw%TB!M"laTeQᵷGּֽrr`~Cִ$?r6EjRAXH՟'`DzD1xh#~9kk~ZVb 1,w%5X }Nvڌ6V]8-j4abbeTaK@( gYZ7zXZִF! #]ŗXiɟ}]B)Z7|; jNUWfFʆ#|J/#Q6V739K(D@nΗxjffPdp MoȇP:_(~F#&]Ynh]r_9kClkgYZ7zXZִF! z]ŗXi%>g ,tUQƺ[CmfLtuSO!+9EuPs+Fl繈i7LgJX$"sW5N647] 6(ki׸| |肛F$ K /{ &>dʫ63FS <7#h&XD90wq*8 B+>*ȫsi`|6n '=}JH. ,f nrzZ9$ZgtM*Y /#ZT=?AO?D;cŷ;\;yp~^:J=ݬ ]{SEL+aO 8`w0 }@g1Zd侢}I+4k: *vJ_!H 1%E'fX!Â%scuڄȁGl(W@h-93);K T&V?}Ax`ޜm3Aa5}:! k(Ie'(9)Tjگ-fg,cp, L\UmՉҖ2*HкFL%7MVP<(/wxiM 8Еm)ong_i7;|!mVNK4d#pq!fbiTdG6Za-ʾ.3W؏bM7UItS3>S n,I_))$69Q@ YFC/|djN%'5A+u"t|I ߱gYZdc09ff74d4b2df957989cd5688ef99db93c42494767d1abb4385cc0848829909014ec5284a74f26d f8f7da93998fdd1c52e2a4472eb3025f88ab3418 4aa777d02a48666be1db0a0252cf123414021bc0 92ef373a64580ecb4bde23c0b3778cdaf7f43c9f  Pell