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   `3 ,, S Efficient-Mergesort:threads=2elapsed=11.541cpu=17.256gc=0.712factor=1.507zXZִF! 3]ŗXf1-/6vRZCV4 JpۚF։}fj.gP -+e" g{Lz'y|_?LelKMF^T/sk,JllHءj׼%ZϏ@{%J/*̝>,̂Q7єwby|=g!i k` M"KaƥO[4.\ . RA7NcDecߘE.1< {!ӀI Ϗ,}YgYZ7zXZִF! ?2]ŗXi%6T6eV] ĸ[)P I-^>'9r{.d-V !GWla7gO3G}%F'SSG{Ȇ5VYFOc5X16pUZchj'tU=~]Flӂt 8te`ɲEI"W)(P̪ju/X;PZ@/2jwtzdZmӸr-l,S U }l C[@ R/(W53XֹX7_)7NQnPg-?HIa,3ҷ0%DgbbJydv$&`Vj7cqޠ%i|}}юeʫB:AةUQHR_g( fw BgRgڡKp2#rED1@ }շ0VÐ+`K$tqiE'?Z gzx˥kw# fkᔈLquM:wS 㶭, Noq/HOV^, {caؗ8iU#<8mS$8ܳQ\t=fSܖ*>e[Qf{*ҕRnV/E :|ʽ;~1X.z;?ր+VAB \)l~G^\gYZ17299d3ba8717cd4b2446b784f149c5440aa8081 338f5fc9e0a7f2ef67811da5a8179f13449066e7 6735e2520b3b26c54c995457f3c15c201552842f 994a0fccc0fa771e9040b466dda92c7b26d3507bf0df918d4045ad6c60b23213b65e87e41842eac3 28b0b14cea5cfab8a9e104dea18417239d359f24 98dcc7bead3126f415ef5f6e3e3cd69aeb7477c1 3 Efficient-Mergesort