SQLite format 3@ . BBh77otableisabelle_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 -+ <| ]/ Euler_Partition:threads=2elapsed=13.854cpu=25.600gc=1.092factor=1.857zXZִF! T]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jl({n/\[>R9׌mg >Bd+m ړ}ةa9M.K}-F~K Fc+LP<翯KX fS*/25ƻ?" YbqlT@$)z8)iT[ؒZc}^נi@mcb QdI22v !%6GmQ^R:\ nIf$pHcԉ#=5M&fT0GE%Pb gzbhuC x6yT=_WO?= ߃VtU K؝Kk^nfgYZ7zXZִF! ]ŗXiɟ1˦rYsxgp9f閷V+Kal2G}x7:w ReIԅ9:Y{}WmvR w׍F`7v`〽zvdLbd0]KCByV܀xhg7 pM}_շgYZ7zXZִF! My]ŗXi%93,?b\پ.`{Z;HcI[vָ{>`|!k.?|A!sd5VʰrCsݲ)Gpdw$5͔bM–>١W/Ci҉)9:u\&lhI:MGBV~h03e(3J騱Q:HݚmlQ_^ojf ޖ߽6PVJ aˑEQAwӘ~"%mu<!DJUIdjGmpE0$<ԕբ>-9nX$ȁ$oXA%6_>C'nzAr"H!hVqPʼM{õKc!v$ 1szӒE;/;{/Y,-H<!/7,,]kF֤f`\# , f=p0(@q$ xhi[ ^缛C*i -晭z nʪ9h:q.N &;<^eU]p vV?Ċ52r '!Ymֳy v_)BRHS@buE{$+ (7h 2FÕnpo8|t܂ϣtMt9 ݅  I;rh:?;16=☓cףH2AL\K9oCQ7|O]XI%vɠk է"!yPe]y+_E{ezُP$ڱXdo"<j ,+gTݗՅ8q'V@ J)l*?yJ̃o55$mhR_XKzL߹nb^ȱBmϸ@G};P-cs$$M0ϪO0Ke;_6<^T-+ c8\Cd6͚ሙ'A! ,y3j\ a(I jD?fuBYkJkM9oO-sXFGI'1buZD-͘2Hw5sC8xFba C`gYZ858b1a74e93c5aa4529bec19a26c9fad159832d7a86c2421cb3bf965bb7b88ea7ffb63ae19b7c19b 246f6e81708adcf47b424e236c7a30d027d9b852 + Euler_Partition