SQLite format 3@ - llB77#tableisabelle_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, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info DD14 / GoedelGod:threads=2elapsed=8.143cpu=8.648gc=0.116factor=1.067zXZִF! ]ŗXf1-/6vRZȔd} bMJ3>~VaCs2 9ԭ2'X*^("ȟϓmzu[S4K߅G¹;+]9[Y=!s,SWq >zvNzVJkIzm@LR>B듬iHH-\$)_\(jQOlgYZ7zXZִF! 1,9]ŗXi%DQ7mn$b؍L[   GoedelGod(UI+Rv /YuS%ٽ/Njf[rN;ȇ+jҰ9/z$( I)(1`sظx/a&v_%3,dr6V]U×w4[1EУ˖h>@c'."C lH^'2Φ~)8 u4n7P*mH8Y A^/*1F3Fc\T1CW*wULz+ǝW+; `קLߕj~v!K4[99H׶-! ̅)i𓇻hgE\emn sHС-qy =`rgmCHފlAqWcRXTu( bwrgYZ3fd30d99aed4ea85cb84e571147c0b79ca02596b cb8c60028e55824850818d8c962b053b2584f167 cc2a3a4065fae604f80b8a0c4114f9999701c8497df075489bbe200b6262e37edcd5270d19378d2e 9bfbf87d82e3125a825023e51521c6c0733cbb56