SQLite format 3@ .  YYQ77Atableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_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 K+ ,L c/ Euler_Partition:threads=2elapsed=15.081cpu=27.584gc=0.920factor=1.837zXZִF! M]ŗXf1-q恈͐7ӺV d>`;Gؽ8n򭖈:)FuKȾ"1-I!zKy˻L!-z a~dlM#3d5rԬ(p<ՀoX~ .=[k֏Q\FLiޡ&O);%,?F7[$j5]05YE⻖ج$9[=Alʬ)_Iꓒ/Roծdv 1XO(dܯ7wW x<bGSQc&">TXz}gRբ1u(u*o"mjl6 'oCu_0ܙ&#dec9q;A1LOiP42t$p|iFlSe#v4SAU'tǥGk_Ya3FU?0FUVc>XQ"e9lSE S*5{iB d"Y_&:7ɆW*Kم \>LKi*mo2MRT9%?gYZ7zXZִF! T]ŗXi%6˻hNѪB5qzr+]~;aX+Ņr4z+XB"{6qŗ@Q`ET,D92>>]΃+7'ԋ[MJZ*qxrm5gF!q]]w*GydI:jaX9MY݅y  [j\SPԴ1 8U+$CܥJ ؜e`~mcl9rG}88ж d2ѵqTy`I4(z=jURp\"nl4P.pI9Y7۞7mEi˴}w3~FnTLJ_qv /Y0/尠v]C`LLAo{IM ֚hX2)@vwZ0kfmIZLGCmڟ(U:@۠^׻^1Y*BE.oНښd]rAAcpq=KuEɱh>Bj9az ,"Oo;d~iT2PM=j ULpp:m~2_OYO#v* Ձ$2$lYqVUes"L;7&(9 S=Qz' \Oq\AU([4'~սR%nf:2ktve9o>ˆԙzTGW{o\NیT9!l"@Rkopɂ4v ( lf)7J1+BlQvcN[={nQT^e^~_p?o@,pSY.uWON_p>AN~ghQO,aQŕ'Av4 ;Ξ4  iC;ȷf!Jd/;%YwOQ_϶,JeRӃJh]8Fy\y%OTNvaZ-Y4je}ł8/ g%$,-A'<` G@ }w`^:?T 3>ɪD*xU]uiGgFpbMU':k` 6 ͱgYZ0f83e9379368d232af1423c3a9685e6e1cf74f88 4dc5dcbb173c1d4a56ace0685a339a50db42973f 7062f6bc3330331442ee719da0d76412d11266f3 767b848e899bf51172cfcafea6b2fd397e8b0312 78759369f7db0a7b2e1ca4cd148107e261ab15f1 82fce86746f9061205d625fb926c1da3b71e3bc1 94865d2d1b29caa2e5f0e30e41fe9b23e6aebad2 a6d881014016ac510413e96c94577bf126ea335f be04bd4097d198048a83936accc0a0b3bb132513 d406b5237c82709a11613edc0c45a93fcc03a74c ddf7f141cbe49f6438d63bc3fca2b36b516a85ae fe3d3c8b2a587b47ad44872e673f9926ec16a563554fc66833c1e501a5e5c7ff24471873df0a1f56 609027c0b5e2d5a13a9424abded96d9da8b41772 + Euler_Partition