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 + d|4 ]/ Euler_Partition:threads=2elapsed=14.071cpu=26.200gc=0.968factor=1.867zXZִF! )]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jl8[x'oCk?w.|?}z޾F 9MH&+Gh vT!\Ń0.NY3y(Ư+W,h]\ܼK%ڔ4Μ֧06sk1as_ c? vx7qbεlxQ*~pш?wi&m`l̜ ?<4J;^OF5(g'|W4f ob,/Hϖ`|| {ԌY+RKo'Y!Yr`yQ(7Tq. w/Q[fĘ Ik J9q8M[meU'Y{K߾O>>KS# 2d!gYZ7zXZִF! K']ŗXi%9(P jf hL//P{eUJi^|bܹ@+#&4IEM\҆YI=&+s\vt64~c@ꤎqNCF/RE5T kKDs k:ԫ=Lku\ݲT?vߊLnlyRz{mIrUg*8ÁG}]I-7_^VY!>z&y/gWḊk}}X^=otW3uOK!$BW偽HG8Rcr#1-Yg-'bcZ?n(n _lU9`w(#a0tKvw ֻZΎJ֔*̖uo / m*bl ~Ixn Rf%DV#@tPݛąS29^￝{r~&y%06Ilz@sL 4B2_&a<gBɈΏ -8\) l*#sF4̼ 5p&\p[H4m=lrF΃.;> 1n#=XC浇Ut+]_2Dy] Zg ]X-$$??ߑ| H $Y$Prs>נﮆM(_N_48[ͻjq򏌇6l"uSh6L[⌌ȏVaH \]uJG]*Rq)av"WR!(dGyv3m _=.KvmH[YQ?P:ЦM :MR}  6^X''̗#DI}WNѝs`@{{1\:íDsZ}6*7c}H sxGIĝC8{lșCJEݿNU b}g:m?[ k&. faΤ| QVldD̙zKoCzo%0r|_|o qU|3Z'FglØig.9K,%q@-:Y+stmtxԞFT6ċlyAf *D_^}<Y )յ^&zԼX%ӵ,K RLU&T]{:KAJ-Z 0aռgYZb7f78800e9eee6cd6cc342109ffe8708a632acfd620eadff725bc3b05da1385b39718d4bda69cb83 d38c17f13a61f3f3f61d0943e214e1b4c397de15 + Euler_Partition