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+ \| ]/ Euler_Partition:threads=4elapsed=9.873cpu=29.152gc=0.976factor=2.957zXZִF! Ng]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jmz4Ҫ$F`*yMf^sf62<װ~a\1ZȤc!:kٔT>HFqE K(?6Sb%vNA]  XA<>Z$.bv8PQ};L$ WK -a. kP+oQN&˘M`b1;u}wvi9! 57cH?Y*dՔFքP2}6 Yͺҿkb{ Λ75M.#cC'e "mO m7'M~kә5bco[1Qـ3rJ"&:1!54":.ez7Ҋ!NQg9<*%ty[`ҁ(rLtJDȸZ0뎹.'wbwAA3[ydzśPyfb?&gYZ7zXZִF! ]ŗXiɟ1˦rYsxgp9f閷W= g0\]BSGgY16[W۫ pJ3Gf"xXFҩ]<˗N'ϗZjJQ&,* {|0 )!~gYZ7zXZִF! K]ŗXi%ES3?*5Ro޸W}Up]Y|h}cG:_hRh5 ٬,X.cE`_J 2<ݍ1"VAu5v? t6aؑ8/n}UH6hqD"{J{AK~꯲ <6[ʏo֚L0Tu (|zohdd2 NQ j @ ַ4 Wc?pئp {iGxXf'fWlC v_WgY!p?)9[GS`+!sI]ZD:~o]6SP GF*W_N[ᒍRms@X1#Qy4мbMgQ],DXވ\%okpU\Jq g8It] =O50(v)nAUmL C7BU8p@ehU`h~f˦"^xF* `p֩{ҶVV 儹[\ө%c #f(l/iС쾴1inQVaɇy hRQxzX6GZؗV?&'r%[t;;i۽ދ|Ef&XyJIdBY(OAw)??)םrڻ{Ee%4nxS+"@@c͔?A]X2*1-iD1)UI~uY1A'RB &oɅ b A [Uͽ SSЦp] =8җ!j(*h˴Iv-c9yxAfm`L?'9ZNj n*R01@MJv py̺.f?U=4F53?xvB6jױ}s9¡rs_<2r q8.$ Dz9n}z!Y ǤUKU3 )0 E*DuC `^I} ]L^nw%Fdp69Sf3- Nj)йi5]bx߻ڊDgGR^t#},? 9,#]2(^(]R rm\8z}r;\e/Y6T=}ם L>?ukgMvf-CB!1Hi3oM,k 5AgYZ8f2350012bc437a5d2bff6107f3f6b5de4798c1a76b019a50eeda51c4b74870607c55fbf00aca327 dd820facb07e73b2c93e51e4d0b3041a08b59568 + Euler_Partition