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 }+ ,|D ]/ Euler_Partition:threads=4elapsed=10.234cpu=29.648gc=1.064factor=2.907zXZִF! N]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jl޼־`KQCL;Juڨdžd$p#a ?&e[15 ⏒/g5C8*|-l_M@CFP#E .Pҭ$"N%j^w3>HX\xpվyQeK&nuN(p6( W7mI]IayLRgy6 |仌f=vǞYHFex3|[PÎʞQTT@DS#z~c34l{G R=N ,}nZ~o&A|OE3!ׅ2WISm?Ie=y2j~ds*!XHmUWe8մjnλHX`C(/J%0gYZ7zXZִF! ]ŗXiɟ1˦rYsxgp9f閷W&n䮃`@2MލN>_xDt#}0\s7DrN/eo@x5q77h4>0VK~Cr"PVTBobk+l%dgYZ7zXZִF! K:]ŗXi%G̉SH4B̽϶+liX:}IE+_)X]\1Edgt1D4[c`ipoL=@vqFX]qؐOqO_ԣGI37P7NqN@A"53r }hO3xp/ ‘85T٨oyG>YbbcN" N'9F5o΢1['苌m@s$omHľR":} s,_D^ܱMc苏gCX X x2IHBڄ\Y&oH *gChwqt5:X\x= ܾt&S>ВZ2{ꍊqF$PS]W0=|wk/~Xl|=Bntۑh5!t׳AGl SҊ H^y$ TXvpCzVTM:f--!04fb~k"ktulj >Gq 9I?"z)Ym i?:l-5V.Ea)x+IWom{mKx%Qa6_ Z{;}WfzABE2hy8Bv/EeFxvxe$ eOKB&Ҿ ֑~NDe[ (z$Q/-TA6p7\IFLTVrs@4ACH=+'TR% ͜=@L?!lC>%z$ZZaySpdPҩ ?ڙ6xt]*J=Jz ٿ)>E# 1=B;Lo:kVukJ+a|8q/6\7A@܄kJ "Auvg 1r 䖱gYZ0ef389956314829d87bbaea740d42482bf78654378a79cd9fdc2a13431ba56bd0a48c2d53a6a6920 db0b9f381bf5e847e834c0dde3ed15877688cc59 + Euler_Partition