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 e+ dll ]/ Euler_Partition:threads=2elapsed=13.569cpu=25.152gc=1.004factor=1.857zXZִF! ]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jkNS-M $)D8OFR;8/}zIUBXcE ?*C((RN gA[XSK}ɱM}LK`Y+/ &F+$Р[hg>ZshH~c`G*K2%!Qۋmepfxʈgߏ'_PԘfau/ ] E1"%~ǐ!p=LFݹK(x`%:@Q6!xX.8ZnGLA ldY!q~!BlU"elbo%j)I^ߒ-l,o^eQXLC ^WsԠsze mgYZ7zXZִF! ]ŗXiɟ1˦rYsxgp9f閷V8<+Ksq-J+?:'1]hm#xIAuC)9\p^3JNu}~(,|JA >.T۾ O!, Ƥz4Z;4:6ooH~h$.:BG6^*@U652]ugA],&jz3FD(b6byF:;i!'Fy֕FXt{/bq vy uTQ|:jm %6-AiF18gU P,[NïLI2R;T3[}eL E'$!c5@z 0kB}?Nşh3'*1JNGSN9tϧP8F2m_dG8KЭFV {`|j?b$E& .F`{Ҁb=h0A3 $t1Y&& {ъ"LKy,2P:!lYJ WxFnƳ\`WIplO\vmu^B|}X{*RZ?3W&,n (tv67jB]~)5yj4㉋ZAf) iu~/̈́ǣ=g|h0nǐDcQ1$D8k3SAQIr1-daNLA1ߗ )gre&9ab XT7P f!hޑʛHYY!o$ta 9&gڡ+KM(sk=&TTOjcR7CqFqMENx<PE:qo+=s-,.z:+gW]Eh)g5ltg>-e:oWA$~bWcR^^k`. ~F~n`򖰱'(-@ #[J Ւ,żyϕJuXfAcz8+4M,$K*3Jvd  cбgYZcca7db9ffd15eebb52e7df22f240f5810e73857f19483222939fc489952fa9ff470a43a5bdddd767 6fb5181067c76ae090b98814e5ff8a3a2ed813cf + Euler_Partition