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 }+ ll ]/ Euler_Partition:threads=2elapsed=13.832cpu=24.860gc=1.044factor=1.807zXZִF! ]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jjScyo47Q=4kn;0~3)L< rL'ܶ_W#'(q(.XƯisFkXˊp+@#KGLE,`v?OEDLE\sdJ\MWU ;M]O4bWFo@bNrp'ШTD1iVeR͐w] tٿ%Ākw \=,r{V₈el>YeϢiU"v)u„s?.@Γ!/:(S{l`|6?ՒIhV֎6`z|G)hȃN>- `+5 PMa `ӣ8ټ &8ӗ~)̢-ΡpSWA5 Fzb}SąJͰv}|o|נOnI1ԏcſB`/CE#E9_\/=j9k+g|>t!NTM2\-1[Kcu)51o qk;s# \9=)M'I\ TKPRhOg||(n{@;7J3RuR1r13ZLp pZpżrqNI~=gL݄wcV-TSa½m|X@?Ťt{81|.GfjG缒"H?tEnX3i