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 s#4 / HOL-TLA-Inc:threads=2elapsed=2.102cpu=3.752gc=0.068factor=1.787zXZִF! ]ŗXf1-q恈&h⎾kH=k Sm~` hc(UtQlZ(=\Qj5,Tm9'%37q(4+d # HOL-TLA-IncQ`ckyoYͦ1m*|*h<!N3b=np FEiUjPkW? 3 iu0;L@2ݡZ$~(OzfG8w>L勮_O7bKҥoX"viNgm\-kv-,(xx0e*cf=s0y[%xHp ks_E=4!pE8} 颲_.ӎSL= +uv /Wvߣ 2I+a"~)RpQxV:gYZ7zXZִF! ]ŗXi%k= /RGAq{DJntҌFoG idug&L#?22?Aj3~EJz ?BT֎0'9nrx4&JN&>` y)\QɱΓ;hH2ڌî6GF%q"M/%qeFJ"V hEĜ3-Jzblt[Qum E`F/ ˽_5ɂ*szДIc2~tŎZ}6nN&%e&@-ިm#z]?x)z4'"I*&ϡunN|E9!Lf(V&ն -hh DҚ9zAPm7sP-dT,wmsUVi-c9aj:Zz(DGgYZ45bf53246c91705511bb6d55b8fed2386cb78aa3 fc6eb76f4f71f20609e402f2e6f12617ba126277d2fbbb72014e26de66d280d7be7d08deaaabe52f 8cba64bc01798dbdb9969f6de108dfc3cacddc4c 97d748c921309a5ff27539729dab10f85c42abda