SQLite format 3@ . YYQ77Atableisabelle_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, "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 ^^+ | ]w]Quick_Sort_Cost:threads=2elapsed=26.111cpu=45.892gc=2.164factor=1.767zXZִF! h]ŗXf1-/6vRZ_rO⛞[\5̍$ e#cgO/.1fK2u'9jS͞mR Ώ%{nw&ɲkRiKt?j,H̆>ZXڭ_~u$!AI/KoZ.q^[l:@ Ϸ/?Ptl e*zhSSDL顛V1wy5Omݽ4v>;f`VQIbL]gŝ8)%թ=ܺ3h\K6,'v UcH;714X2ϭ+Eu8n;F N 90R\y['^LIpfCf)ضuTjP}BV/oўI6[gYZ7zXZִF! ]]ŗXi%6Țs `̅Rp')ZoxЌR>'c< '@>!zL,Ic`{vr𲭙윞h].Y4tpPNEa#Z흁νnWϦa  *HgP=i,8uY 8[M P~r9F̎#BAcOHr#k{F:[d%C"#"w|o*U`\1@ 8@#F,):kK@|-d>婫"3 hBW~hk][I e ZF$tP4MNShZ R3A|ձu<ݎ>uL[i NayB@$㧭gXNg!Nݼ1OY P6KQ'Qֳ(>?;V1i 7A*FI^Q}(LӉ<3zuUfirvzCFj1ZyǓʜl>ԪQQ8nT,+Y$>9L绽9(\U0GfcVQk2]ɏ `k&&Fb(:=݄0ÂVN zI%YNP5U0jJY_w+14}U(Wnxw:~5 L5룴QvM`z0F?G06DV{T5bi0&QoSS\'0@@3<x}Q=3 ʦS#9zImRw4`ղPeOi, $],N$ٮdߢI[qCW]ZW`K"rzg)?q4'/"sL[r;R*V37@5<|ci4)Pܺe ~WN"xU'j/\&pPU҇| WƭB@?WbI-RG-XYtR?T2fH %;AvCe=ނSgYZ7db2b780d2993b68116c5471fec6452807dd15e1e3d3de0c105787f07c71be3f3e76dafbe7c86cef 26af89b7d57c7a15a989446f8ee1ff99d4928d87 37a5e7d87b1de36723bc2e935ab779ac8831a48d 76a68048e9407415394a8191e7fd2daca1c1bb2e 5e546206093ae54dc23dc992734f62db1f8934a4 c0d293a29d8802b36aa4afa92b8e33b032a21e03b95ece1b100ae89c628675dd5ed9749242cc6351 + Quick_Sort_Cost