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  B B;|t ]/ CYK:threads=2elapsed=4.960cpu=8.792gc=0.452factor=1.777zXZִF! ]ŗXf1-/6vRZy/``$%'Yx3zK_դGɻrqӪo!Ify2_,~KFI1t=ʮ ` {8oW\>,v{XD 1 {é|i?(]E'KdTy$!^_H8P,Cqw_p# kGҁ_HM9B 6.d(;?޺:l]%=> dgYZ7zXZִF! ;::name=CYK.CYKelapsed=2.763cpu=4.820gc=0.272&W8HT}YZ7zXZִF! ']ŗXi%92m/S0]^)x߷äZl5_yi}4@9{ nyGW(oođ#IGp*S ÄUJ2y" _̳;˕+O_\hcTJ\;O,󀻦-hnsq|geit^Ll\@5]m7lӓbV|Ջ*L9M̟*5QD1 a/]wRSn Ԭ3[ ?Ԇ#|X yR;>$`[(5#ϴHq'N &AVtVt\biXN7&;&i2bTZA;E~o>[ҏcdgh?G(B ,ó :'^IS"O8a`EjEIg)УC=KSTÖ _0…cZT`e!·:[wWO9ڔpz/fe0o2Vf-v} uM@~bO'KrB4 QR t &!6M7yI=SER_+O}V#@VC) ; &.u1I%!j+c6j?#j3%r)f] .1S%iR6! mzD'O Ouz^KU'LY0*LOLogYZ22e0e89e0522a7b261dc1ebe66baa19674ec07500dc0541b39a07c11e5774461d9bd9c4bf977ffc8 70801ef29d848aa8eb383514e684c8076c0da75a  CYK