SQLite format 3@ .  YYQ77Atableisabelle_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, "errors" 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 11L7 L, Y/ Abstract-Hoare-Logics:threads=2elapsed=13.178cpu=24.072gc=1.572factor=1.837zXZִF! ]ŗXf1-/6vRZ\vW>_=֭0\{1\63T}R䙳;\ (U0D$Mep t}x|f. ?M[&| 7ݝЌ7i^&e rLϱ{2(V+vR:WHh7 g~͂hl x "9aaŮ(֞f$xU(E-Usߕ/i#+l>籔-7§>__"#+Z˖HE~Ƕ:ܖ{5s0Wd뭼Tg_v|sj=}24nB]T,p^tw:G. ǠWɸ=rJX9 q+]I2ێG5 w=X\2HNv)KW29}eDz B=OGH6>)i_ !^ʗgYZ7zXZִF! FN]ŗXi%6xqbe{Q2O$L#c`n쯿,N²wB)`i?TK+yTlRO, p$UhxϜ}[_h:764qKT!hɌ/|J'gQ1u͎suBnꓦIMoϝ@`W|ܴ++t0E#1\ʼL(,<귁[dtHųI'@8XiϺTuI0C2-J xHM}jQg@U‚bށVMQxP8iWzsԖr"bk&%_" %żo=.$'1X#hY7)F``Fzӆe `Ix ( 72ҘQ^|/^%%'Z"Nv˽KcMz=5 `﫞@h^ s0AK.p*"xOUjxNEʅ T8ΘhO+i "gm39.ǜx𪺻 J*LDw޳Q<{@? *98܃{7pX487k>w,$R,< ߧWXӔ.S;9_Ii%[y|lz k9j6lj0cQX[YuNY IjRYu%ݠ~0YRvQC+NAh*9M<"o[K˿c^XNƠiÄF;,ap&ȮB,6tp45dX%ԨS1A,V+2VU<Îj։F3I 뇤7eG76ۆ7?ÀPY e,N+c+(Mڷ {)+J)E %TJCgyDL`J<h⥕q vkc6gYZ07d9682a4239e8b9d5167ebe37929bb4dd64eb78 1464305b2bbe77c3a708030b70c2c3e94f60166e 14d11054030e7dd6c77971c068b8cee62a6ad942 14e02afcf67bc213b511a3ef5f87ca10d483b100 622cf9cc7bef816ba234cc46d95855482855c01b 6ce64580875aa4f1fc1c7f0c182d161f90bc7085 851703309b264f73d5a783a81b96291a40a53741 a80ae276abb247350d344f25b22caee63cdaf328 ad42629725e1e075c62c4f76a75d8a5409d2f3b0 ae0c236a30ec695c8ce382b403b1f2bcd5501f3d b5a1489774852bacf89b1206d4ede58deb224fae ca0750621dffab5db08c1f4a366269f82ed615c8 cb6884bc854ad8677f2eaa4cc93a36b9102c0ee3 cf8e25df14d0e43b874b54166adc284dc7f337a8 db9df33ac1e6cc1f5dbb7dc31529a868e1b3a913554fc66833c1e501a5e5c7ff24471873df0a1f56 d155c2ed07829a15fa84f92865e4197c8a5f1ee1 7 Abstract-Hoare-Logics