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 ==@7 \ Y/ Abstract-Hoare-Logics:threads=2elapsed=12.983cpu=23.372gc=1.540factor=1.807zXZִF! ]ŗXf1-/6vRZ\vW>_=֭0fA@NF &K][S<<+p,wx̸%}PLvCֆTci3PgAn WkX7D?8s=EC-3>xzG2b> /n}VDIe8D 9?He^/"͋z~eGөch!QH,7;KdEvz{rOp$,GgE-5&DNyə*ULB1kA]87^xo w _:t~: S_a9c83@^n u h)4QRgYZ7zXZִF! Fg]ŗXi%6yKڇVKqֆ݉ҜZPɳ>R`֒+,G|joS5\Yqe>0:U.o(%7xөY l"G Cb2 Ɲ >8OZ;J![ub~7NF̜=-Cfb*'e `# ?(al Q^[\,׃N8~`O=Zr>Pҭ"WҸ1I{{LDHlBN^X= pQhmemp/rnQ4m );PȍTn@Z[@lu4%-;q8zPu Ucj9ZCѢ EKhqːtn/B wO:1tdïfq:w/tpObS_4jI^st Wjm0ʺ>oRd.Z6\ ;֨#ۉ9L>PbjL$_l;3(Ie5ׯ~oԏE"U}+58 a T H;Jmo(s`O6!wÌk U_wEYwEk¾զ)4X?&l!Ƽ%zbElOm PmHa8X.8<3>|KZr}xڰJiS?A"W|= 2亱7qě=ap\b&jo%ڴi=K2px /QuCB- zs]uc >XDɤ-p'u# X֛d "+ 7v޺6`5_i-ZdzbC uD;v,:ͭn6?얉Ն)r!Q/est[Ydfm隿ŚZ,+]"‷f RLSD`_q-Nx| ڐ4tT 6gYZ07d9682a4239e8b9d5167ebe37929bb4dd64eb78 1464305b2bbe77c3a708030b70c2c3e94f60166e 14d11054030e7dd6c77971c068b8cee62a6ad942 14e02afcf67bc213b511a3ef5f87ca10d483b100 622cf9cc7bef816ba234cc46d95855482855c01b 6ce64580875aa4f1fc1c7f0c182d161f90bc7085 851703309b264f73d5a783a81b96291a40a53741 a80ae276abb247350d344f25b22caee63cdaf328 ad42629725e1e075c62c4f76a75d8a5409d2f3b0 ae0c236a30ec695c8ce382b403b1f2bcd5501f3d b5a1489774852bacf89b1206d4ede58deb224fae ca0750621dffab5db08c1f4a366269f82ed615c8 cb6884bc854ad8677f2eaa4cc93a36b9102c0ee3 cf8e25df14d0e43b874b54166adc284dc7f337a8 db9df33ac1e6cc1f5dbb7dc31529a868e1b3a913f0df918d4045ad6c60b23213b65e87e41842eac3 28b0b14cea5cfab8a9e104dea18417239d359f24 7 Abstract-Hoare-Logics