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 DD-+|, + HOL-Hahn_Banach:threads=2elapsed=4.219cpu=7.884gc=0.176factor=1.877zXZִF! B6]ŗXf1-q% w \4QǼ^%fE0AgfV\yJފ'} [6.恇b>w ]01s2 ҏЄ%Irs*uJ5@ >ѱyN 5"'c +q;(لR̤b1Ry0ݦOwB j/Z>+YgYZ7zXZִF! L]ŗXi%JuK yC`p٬N3;47x(H/*?keȐ 2Y{$M:~._Qn#e}kX-6oO:9z2 `zBq AzV=z}|I-lbl=) =g+z1a\]ek2s.A-?M1h"+b0BuC=\2^(XT=ғsx247j5]H= XB_5$U\]yㅻ:G pQ5[5pC,߲:ڄ|w]}]͐~Lo/AVOWatBo'֔o@6Yo{i7 ?~$lҍBdga93$0.{ǜPW`ڦ $ߜ᧬i5}֮ ->%[`鰦 RP N@gLe $axd G.z4UB%F  < CdgYZ1056ae38f6fb0dba786d92087d6c898a3cab8b5b 1fac670295d8d00bf309e4e625e77654a76176cf 391487ee4b031686a4d99d4d12cba9a269f2fd07 5ae6e0ff9d9cdf2024701147700d53663ffa826a 6fecd76a994d840cb600ddf6fd6d28a1c64e7394 81e0df68b736d3920bc374db15982283c8f02cdb 83bab2beffbf4ee896db7b96b805256be37ce7d7 982ca8168bb4e8ce61f4e8483f3957ba567b6bbb a22c745b98f17c67580b11d999e0fdab40574786 a6c7bd12a516b1b524b6be77e1594789f2b4dd86 b631e23bb03424d49e1b2efbc9665518164053ad b766d0f7c880a1d47ed7e6a84616d4d4cb6bacec c1486f73e51f6ecc1a9a3f0f929cf903dd647a3a c33aa91be9218d9708ae860341b6d5389961103b cb6567777c626bb2dda43b488ad022e4266a7922 d197f05538956a2f8a253ced34db1635ff8c081e30107fd93ce37db2bdd67b83360028ac0c573143 925f367ea52555ab30ecf3c4cc0b2e6ec9edcd76 9eb5094ea5c56f5f0e417fb357591e3e8425b5d9