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 o S/]Cauchy:threads=2elapsed=3.153cpu=6.004gc=0.164factor=1.907zXZִF! ':]ŗXf1-/6vRZy_[&~ZD2[o$¢'CR ~G´;9tAP6xh.k"^`XOp}UrYaw`'lRv-`=X1v/_Uƣ-*4jZr>CԐ aQGk`Or2v=p_Ҍl^ƄPnEg~rs2cLuaGIQ~Tj $z~3>al욱fzizf;X3y q qB\^r1>ӯ:3Dxw V#hPBU{/ph-BRhX;ra-yst3R_>enHb ? p"Z gD67Q*DfOCw@$;^j\9/ !ߒ@Ti4%k0nچ>S*}*e(QЕcU TQß;GͰȒdjTPz1&C!]m-bd'# qlyv`+/ kc1˲~X+ptv) ʮIP+ {F.'tҟ uvd~[)h# Dc4 '0\e] m/1v$+   Cauchy-9!bº{3]MxӈQ7qr,v)@:kOJOgYZ7zXZִF! A]ŗXi%T9H\| X[ ҟvn"5Wk~_ӴA)X֞/Epj>BXD㩙y=!MZۖȅyUp}&ny536G^5ೢ>i]xrG֒ ;aopǭm ҧY?E/)QPn)@5؝P܋PCw TwjE0Vi=IKf,yu1c̳SMD HPJلԩ.uvR* _WNuE٨gk)l3hT%-o$*xt\c_I#:!(U%;ue=^