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 k+  , ]S]Quick_Sort_Cost:threads=2elapsed=22.095cpu=42.096gc=2.064factor=1.917zXZִF! ]ŗXf1-/6vRZ_rO⛞[\5((jgڙz*1HVs]}qj/F;Z%M"E֦gm'Rt|+η N811ʨ=4jksͯ>q#6tb[;9=Eΐ<ChW?'2yJA.xű)//y=O=0H6F|m~_[MH$d=T鎈kfY3QʋjdzG}[_,%,W CΩ2 C@nK+W@5Gݗmm;\f&VݑSd7,B㱹?Y++܌ -iF~aXFİR 6| i<걃{1'@-,u0S"7!]AykX+5-UgYZ7zXZִF! W]ŗXiɟ1˦r!q=4!pƹ $7 <.m>%96GaC 78jzUg?eٜ~~](|m.JҥX )A~9f 3Ż@9N+PݾFJ,޻1ǀ{>*/W4!C\z (.g6N(N$# o 5bv(7yúʤUS7FD\6ppuBʟj Hg٩.-" JG%Dr,ˁ3# .3ܬdS%50ō9Tqu fnu1q@}5*^CgYZ7zXZִF! ssM]ŗXi%ύvohMA|~jEO~*P Pkg,aTC/y%SM~2]ol*!zM` xUhv1U2>=\hB޴cm#6hjXv~1^#  `>L8 \(b v5" B5H~=_5HpsLq&޲GztsJ>_8)jQ{`o.8Ydf,45Xrk"\lȭ!'PGjΤZ5 ;&ąRUխ`{eHn3h\ZmcRvWm% 7=>:4s"R>n&{ k{~U ZZSDcPYqx-`MXԵ' BaBEO*][y|4Ҷ `a;UGPv$vAM|2qu1Nq UqTtyƿ7!@xjSvŅ9T־א1j/KB_'Ɏwa lIr|g+ꋃh0K7BU1Rhe[W:/?O>sm3^ZꡜEcN2j6.ʎu8">ccLPմL`r )#2\4 $c;qx^̚8VCf|1wbfycFDAs0Bׁm^xsɄȐRw]*짙rɅe,.z ')99}s>n!0nOm7{bI4& $^5 3ܲ[P3+mϫI~TqY/"}ENRsptvU:Hg_DMbU `L: Kv魖]CĹһX&s*Ty6`]1>AQ`ړwh<*r5(.D#,Q~v38dSf pkȒٟ>\^j2xYL*g?o8VGQ*XKȵki}>q.jl?}){J5k8K+F 1(΀4xc(͵1#b1:{m?TF2ǃ!d4 s@iT|pg5=P|u$(oq~zY_h#&O]KIW ܏yL4W0=8_ FKIeS4҉g*7v\$(D[ t868>n%P