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 i+ d|d ]/ Euler_Partition:threads=2elapsed=13.908cpu=25.872gc=1.004factor=1.867zXZִF! +]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jiv+mz8CL3ܽJcvpg&]8L,uoO>˕ׂ0ְ#\czGݑB@^oNݾ@L*8` Pph(ڸỦI!GO,~Jg9LS3{zw2>1BkC^F@PB9Y|J~rXp C& "+i4qLt0CXd+ʄs[Փ}q*dqu6^yY3+? H^[BO텱!V{DSJh,G;K rK,\W֍K)8E[謚c-z7c+np]}ω<"հ2Kc3͢Lk5K:^/ԾRdڤEZU7'$Ο;`M[gYZ7zXZִF! ]ŗXiɟ1˦rYsxgp9f閷VboMs*X;;W 2S_8#c6Ǣ*Q ȆU^ua͒~$a7ԿMŸa U0DW@>\;ЪgYZ7zXZִF! Mk]ŗXi%92CݩC%++lpj}-G"rv=V27 񙊥;t߇O8?K1O |=]RNR;5,B/l2ݺ^z3'ߐdsQLE"yrC,Otn'hq@#0AO9tm 07H4_.l+ ܾWl?}N[կV)(gn,{:@6$cg #'6wHl5,'(QuСy4v1ga![կdsLdO$^:lGC@`sK\oS[,)ĝ3Qwe"%?C' \bהN$(^X8:"`}@> GJWpnguKzIcb *T6.{کXڋ6*<98Nw$/X=_]VSP9 _gYZ292148666b260433f3ac64b3f0fb84887108d56bf4bc8d73b6c64716a5747e042c7c9f50e33b4d9a a975b996cb0122f4bbc0d4d5892986a1c87209c0 + Euler_Partition