SQLite format 3@ .0:  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 X d, ]S Pell:threads=4elapsed=14.087cpu=47.344gc=0.800factor=3.367zXZִF! *]ŗXf[&.y꿊x\?ՁFM8j7t*yP >D*G*x҅3,3Z1*k8=`GsgK*tbf\!q7+nPCIO$6+(0`v7bރW#T~ jU&e:=z.I}]7秩ǽp4Ò(SzG+]t08(NX@ebRrMP̈́ }YBQ#67鬤gNO+!(c\a2goq!1vVzTZC<`LUj4[$nVʾBT]WwA(lp|<%̗*))=]Q2WPl`>MZN}͓P@JeH~ ؕN!O}gYZ7zXZִF! #]ŗXiɟ}]B)Z7|; jBތN1,ӗ¹4#ި/\r+;i 2㘃sWde.6e1<~%"]W8#4ZO*&:.bwۀewgYZ7zXZִF! do]ŗXi%H7Ѫ4+ Ixg"WG?dK:r4"=8Yy"E:cx N%~O9[㊭2ǒfV\coݘK6*B/qHS)aE31m[}PN6mMe@M (g?0u#9ab:Et/-%&yZ`bY=(j`d:Z[/putCZ:caW}ؗԻ<ݒlĻDRuUH c͋_cL`42سV.ܸ7#öxCToChc[mpr:p14`(E>k{,(p KY?~TjO=PXekZ)g#2JDԇKNiaEEjp.WRxɝ'lޟGJn} pu=n+YwMȓ8E;+g 0LjL/׎tgQ`%proϦR_렬Io}$UÈa+5gu)zu>.y^G'Tq+Cy2_;ٟFןɃB]Y5)Om@h1[e@<UDL QG6 ʡ3# q D?eaN\07WkR Ć Xrm %U~8 k)}/1Z/iq)s3!q ' x֒dJK*`]vZѸHP \,~KJ`o yI G";Μ 7'YEIZ~rݝrPh&έuA66?KqqTo]|m<†(!PaInnP5dYÝ6K+)@9”d 7 VdďuDI wox.JB qeh77 Ql$xziߢ">EUdM$<3h[=RS\ ` c'CjZ`, stå 2nጌ` [ D i h\x T,]iL1tDHGiZ;VǬ 4>D ~{*+PK@xF"ƙpG`|lBJl]LB΁MZKa_Dr*@=ꟷ*lR^siWW$RvCv۱`+7i-Fwң8j.;-%6ꏊxlz.UψC4o2x IAїQÜYpɃP2ݕ8 e:YjN9Oӫu @cgYZcfa22f425a3ad30ad787d116f2bc6db958814c4aa3a1775be1ea4baf5315ad6630d6c2542be8f5bb f26beeb3a1bfbe3c017ec6ebba6c47c11fc1158e 85abb972e33d791a56eb0ae4d28a032db01c9061 d91ebb5bec0137839ea177dc3c1570f8edb1dcd7  Pell