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   p+ ltt ]/ Euler_Partition:threads=4elapsed=9.050cpu=27.092gc=0.788factor=2.997zXZִF! .]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jkt8GYqƤEۀTNn D4N%+!/r#xUܘ{!A fh/͔s'F]/BJ֭3-vak`t-7c>=ySMR:B|[֢`*;yyn/^b`ӛ6 N |u4l*զCٲ9]C'L֏ZO;*& G&pV ;2D945ոu;~JpJ ^mX:d]sFt $ 6iĺDə2L/{l@,?#;N2DG4rǍsJgc"}͟*Xb o=xhx"@??sŨ5&^D%U2!Wf7!bB]N6 _IyA\:.(."DgYZ7zXZִF! ]ŗXiɟ1˦rYsxgp9f閷W)xQumq+ jxmw v^ Yu&}[!6dft4'ϛ;X.X,}ӊ$hI24ڵ݃OxX7`?Ɲ}*S gYZ7zXZִF! Eq]ŗXi%B:gD{ So K'Em2Qi`7cIy @m}Mz&(lj Z~T(\r˫vTU%y-Wq7׊1mPҰ&l0n7UŘ#8рF0AmI{mrxDCQ_B2e|ŏ65}&k |"[w k~#{(g1S[22aU9)S<։fFu\ 'NS.ckWdZ0=h/26 $_1y3;ַ>Na%Ak`2mǔ'M_YYmu^h+Bcd(pm%e"{Rt2b4&騚ǍM.{drK0v"O^ Ql`A+pBUC ?̻QӷVv|\\֯(=N`oM'u9>p漇Hřuᬳ+$9ij$ ~{g{>ߏh18/7)upDYTi_,=m~e[|/2kWґȳQ渍Kw[mZͤS$twm:o䰓U?)qTm]$JKW#aVq$h+b)TLPred(}?OqK X7|` FR"s2wcM ar2DgYo=km,3ٳ_̶ `?CŒxX٢݉e/5; CvG:Pcs.rz.ˌtY(ҋkM-cPo AgُmJ_}TD+ёQ{4 5+G꺕J9ڬز|4R|.Q!L7CV&'mgN鲷%=O7M OJ$;V0]@~+}[V۸ Ν 9X Tp®5Ŧ#I@'Ъ\Q5[na^} LZ;4!DYm̖ a Ih>,4̘\ 7no .BHHdbM􎿔4Ѝ-,=v1sKhїU/ʹtggUQӠ}`D 4埯Pxa0pނ!&7%RV.`c}yŸ0%FJȔ@ۋ|=[n0 { lWe[{k^+|++&H|2ѐ~A0`dD N+$ԥ#tƧdB6oH;GmS $gYZ30c382668f4fb7efdfccd797bd97615c54d9fcab13f786b8f4762c1203e3da5c15d634b6876ecf36 7ac514d3394501c5bf6707600eeac5a1d30a5454 + Euler_Partition