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 ii $d c/ ZF-ex:threads=2elapsed=10.343cpu=14.612gc=0.700factor=1.417zXZִF! $c]ŗXf1-W(T02FkPX9݇ kS>\•"ѐ=9=vhw,$ïL=Si. QtЫ%;S _ڮRd<{I.4r[jyٽԫ)B)xuR::w\g0Tھl;{ Ź+)-[X^=a^&jH7ک-9I(K!F z"T=Ɉ6WNXH2lzEkKqY!kC_6;9w&U%87# tXF#a,6sd?#_[|{+,~37 Y QG %8J]ky=50*TQUq2 !  ZF-exb&gG%@fzr%"n]Ŗ08*yǸ*̃_x+qE$bVtckًw}Ժ By@ЌXhD . VKEIym  SKiͻ,K[Ik-~L i^Y/)%|M~>by`Fo'a 1|=fɲ3KoҤ|:?$Ysg:ZN{)o.֑-8x='y uLccoig;}S}nM>WkbR,I6+"A(r@A+Mq IQ:㈩BC7p\Tb/Ϻh Ap̜~\8nac&l`x7EfþgYm0!+-l^Mu >^,O0;3_:asg;䲱gYZ0307714c71d1e67947e08db99e14ea4ce7871f38 0afcc310f3b6bff847e20dfca92a3354324b18f2 1f010a52bad4ce1bccd907b7401f81460c4e57fb 4a40c72e869539e7ec667d1e2f20d054db906fa8 4b143222ba5aa287a0473e9606458ffab5df0235 6a646f07aada05aa2bd540f1de12f066e8229a16 ae787878f7be034cd5ca6a3f3af452c13a0f8fd6 ba2e58987ae62cea51397341335e9f187056db5a c6c324b232bbdb78cc4ff9fedbd53d602ba6d433 e977d405a83cb375c6c21cf122a05f774ffac6f5 eed98e54186b8e0e5aaf7eaa58bf9555d4799bed f11fb9e15de39d3e8d71dc7a3174672b0e23d5601d303aa48c02fbfb8fe205c90ee243804756e6a6 08965c534c4374e3d01143cbee9cf396c114f95a