SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "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 ]/ Euler_Partition:threads=2elapsed=14.433cpu=26.404gc=1.088factor=1.837zXZִF! ]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jknx'@?'P.x5A!HYmIho{e=8+:4Eo)-?MJA1zŀE˰t_F{~a}.h+!:>bܗ2?bdT x,59;XY-( [Wx}F/b[]2nF]5Y]+L4Ct{JƸ,7C*SM&* ɉ8?mKE9PM!C}&WPoerT5 \Fxo1Fϩ&˔eԎ6E&?#-Cـ쎽I5GSh_In}{_*Ɛ{jo(̩7NfM-zrz w/Bt= W7K[aϘ+bqBP6pw/{~gYZ7zXZִF! ]ŗXiɟ1˦rYsxgp9f閷V9вO-J!()Œt$K\.BDw@lBp65m8\%0tɁ((VR/89 j WC8Ⱦ=ǺoԿby N9+ _5*F5Y'ygYZ7zXZִF! TW=]ŗXi%>gch ,= d?p6uiS.No /S=?fLәQ]BK4%RԮ55ŀ I6EzwvW4& Lt?DMM[mymꑧiG`3`ӵ/uta>r&knA2y\qy]rbh'vE̊X|'w^0 V01/Hq;΃m60HW t|XYֲ̅ÿ3YP,k? S]KÛ)· ?7w7!}K5<) khѱ} tpj ĩ+6ћ2ko8SWQۍ{v ?  YJ%Iua.TXYG´U,5D>'E0%)i5$^}`"k˗AU>DӗLu CJh J!Gac4Ip5Aipŀ ?@dߐvU}"Rٖ%U6<rg^e{e@z!颬砕p~ uI0Ϭ6"y~Zn}Gd"){͸,^M]2;# NWK'7]#+>n\ @bGB.٥տ &1^(b#A.}Ȣ_ђT[D?_Jx%>?\rUUKPA?vW&llAH%j1-pr(o{uV%.4EEZ巫R Ѭ3&H~9Ii8Ky|+kEsM J0%+)߻!Du.*D]gѺq_1pOsA9# |:=7%0[dNOb vʤ]R(ʼn?+_}D[8jg(S%i0YuO&2u{)4S,q8h>BN),s~0Bv \|nq pMڹv˱0h_šVʚhh;,Hhl{`_ͼlQWBFKIҎKKpoʟk&ŘfB`\ˉH{t -d rxm:..a t򀻼nEiu,1@|x&L({acFGm>*T بt-DgYZ8e235356f5c34e7082af93edbfc3fd28a4d79dffa70f3b1dab78f27422c2c199c67ce3165c51f78c b7ea345064e6ade7544c71fbd991740359381db8 + Euler_Partition