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 g+ TL % Card_Partitions:threads=2elapsed=5.917cpu=10.596gc=0.128factor=1.797zXZ + Card_PartitionsF! ]ŗXf1-q恈͐7ӺV GyvpP%; fQFx IR'u 3UJEB `X "Xj)@i~BvͦFs+}Q{!J]h{֞2o)ѻl2o^|㫼5a`~c=H",5oW1N[Z_PMrPBiD6 -YZ)v)Bx6p%'/Qu~}*(g6C=7uA=pTcmMf_]7Dx^Tn.3K學0A MHv|L{+%6ch=|ox[D'k,$ q-=og~%+#OJ. JzM ;7f fe͸TsOQ8^+\; 6]>GH<6&BY=m]ñgYZ7zXZִF! ' ]ŗXi% -ڕٲL썝tCv1\s&}QCTdeӠ]BDtG7QMS*!_TT\4mn63{)ԛŝ$T5lPJtf6K ^e\-NJ6*-c!y烤۟.vƯSH=yjoeWbMgկyDfB(:Ն:gӜ1'i:e 2lS'(A-Rj|kN%me, sJP ɹe̻)":_SY ȘƛLBp~933?W/C{lKiO ޙ4EH]m:NI 0֫_?b OD%F!92$AW<|2%# Ⱦ\ܹyR_`Pi4iB-jz"W.VvA9~!='t7"/eyBo*Rt;A*O<ԄYzu ;a851WHgSQK}2fV)"K>QK vN! v? >xBMv_lqߘ*3dIP8Xu&ËyqQs#crSO@gYZ2db5d820e2315d27e7eb764e61ab1aca5aa370d2 3dd1eb530c3c470b47ddc4d434eea2c5684cd8da 562d636d00a59805c5124949c105325f55960d9c 96065b30c9db112cf55bcbe78af20aeee6033380 b3a4e52b308c1891fcabfd74c001324d923b048370d59207b10c0d3f1ae9713c01fe0490a95034f1 a635d9d9c13ebeec12e6b6e83baa37d10eab9bf9 e7cfd80e980720c55ea271c805238dd4376b665c