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   t $$ ]S Pell:threads=4elapsed=13.256cpu=46.548gc=0.652factor=3.517zXZִF!  ]ŗXf[&.y꿊x\?ՁFM8j7t*Qj'9EjkJP 2a@<ͻ qE*WHV.ij<َIVv;d$yWsLt3*(X>-#vyNt7V"_95Kn"w"%H}5@?HhIydBe, )*1.ĻLevgYZ7zXZִF! #]ŗXiɟ}]B)Z7|; jƢ' $2k`-+pd)y؊Sbo)vy wZS4s_aUdZMmܫ"E1Zm^}? Reh,0Awm{4ʱgYZ7zXZִF! az]ŗXi%G̉S©g"*-g:!ڡᶲ:,}yf4<U͖= i]&$C"ZFUQJ{6uBN{`M '&l]*VQ!sZ1n\r^YAyX *Q𭽡ǰx@;nK;I%O3G*yPƶ]K=xgvu9xvo >Coh!(&OVMn pE]jpk7(yć3dkص<`? sLNԺ;}VMP6˺^m5M1PGT2Zh uUSk]%MR4t",6k=œ-%<7ܗ .UBl)Y-|<3H Z>EO6ސׇ|{-\ ?o= 2=@mF>=RTV`>ifw/PЎ}55}i5HKF(Cώ/տ񐀀 ћ>2^9ۇ`TuUX2"ev[o>dI}RuVtʰ}44D8e q*"3V"{y^b.m% ɈV Qϼ2Yb$oN.z雴?XϤb;^z(yǹph*Հasfmǎl>E: k7.`5IyEPn9*}Y`mNղM>X=x g`kP&ΞU5-˝B@/R >I}l'C 8d_`ES$߾tvTNrR/A"h@Sf?9;@:pC^ s ,t;o!'r'M)C>$$."XlHOfNO*)n]tِ'34:]Ǫљ +`FM9lb--.м!6,2v!tGvi?&VKA/形&"ax\6RkrPzxF&4]"HtV!4=+LO(XzI?=dfFYbJe-!ɸ{Kr w}S8OP[$EkǞ L rP(:mN S 9ogYZ6714fdf270db4f3c615894cac66e898760161f2578a79cd9fdc2a13431ba56bd0a48c2d53a6a6920 db0b9f381bf5e847e834c0dde3ed15877688cc59 dd5a66ed2ec6ee975e279edd847d2bd17a3726ea 4909c2e6b1ef8105dcb0220d99636907a8a8684c  Pell