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 ii t$t ]S Pell:threads=4elapsed=15.078cpu=51.880gc=0.744factor=3.447zXZִF! U4]ŗXf[&.y꿊x\?ՁFM8j7t*$q䯌 NW!۸;o%ǗP\"gYZ7zXZִF! #]ŗXiɟ}]B)Z7|; ʶ[FId%]͢zdXrWuGLS؃,-AVj14(c'F[/)` k8f0#f>FwޗÀFDs!. 8k4ʱgYZ7zXZִF! j$]ŗXi%Eb⬞pMͶieG Mj'^쿈KQUEG`[_5ӌ$WJ pyvR)V!P@ZEN>G7No',Wə0)Q/+j"娹,%D4hMzAPsj *$$1}l_+vi:olV )4/^'*.?\0NOG\/YW=sj%f94FuSmRh/}qXW]^P?:XMeH*n&%X8.PGݢC^fw< 3ʖvţ:nݶH_Af I8fq]{Kߊ78{FwdBΰ!zSn'KAи`$ -өH58$Ms,%<}r8"ūETa"މ˸L` XWެwuA΃Y#8T׮VzS|Fa+'A,ro}JKR)j~cԫ9$Bn>9:²h`KȘ3TڱDi">p傋u'6l\zK[Sώrܱ5].-~ѿH ̎6e7B{@]P 1wIO]92I]&'m- LK~U:޲**8FZofm V!wy)~I)cFaFnA|!iHVG)i뫁WʥQؘZ|: P(&aH> :ry4͙EV חk,T%K9b[џ-L?-#)^E2| ŚzIoޫZ+ZsPrB7ҕiZ]ё1n2B듫q(-" ]З/v7kz v xr׭hmI=1ML=4 hf ^U,evq9jC߂(h))16$Me"5 S$+wukrE+JjY󶣽[Pe٬>Q<$PP%DݓA)uU0XY$ڽԫ&xt[޵䠁)&AӔQsLst`72 aE+X@&9.ӤװMGy?6!z")z1sf!qÚR/2UB7oTucC:1~6S^ܠuhmKELyM͑. HJpN2P'Bҿ-MUpLa h(Ӆ'd;;0.Kc`w6'U8<@Vc!ٟEvV(N#VXEz"C;8円?z&l\Nh$ x$C1R:[ƺ`+O~pA"xg # ^ỘXNU6P^r%.J2FVf0Hs[*hFIE/fIiؗj!!NCWTWsM㱓ZgYZ3a15119d0326dc2df1288bd74dde8152459827ab87d722a51b70602a06e4a7b7d793ad6a8bd08e87 b7feff3cf6fa551286ad5206b08f8a4505f29591 5cd5e5862c7bf9500dffe2baa45af19637eaf110 9eb98cabd261987872a337a72e13ea3f0bc2900f  Pell