SQLite format 3@ . BBh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_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 &&W7 D< ]/ Abstract-Hoare-Logics:threads=2elapsed=13.188cpu=23.504gc=1.744factor=1.787zXZִF! >]ŗXf1-/6vRZ\vW>_=֭0fA@NF &K][S<<+p,wx̸&}3 Q\B9bLj} OCy_/*:QOZX;t]؉IF/|{a Q`B~xFLMT9)FWbO~*`*B`h(K&IE?АjrE~?Ch g? ꡬ A˞*ϨV /~arO9 Y p]?ՏMW73B#x*FQ=pf|t |G6zD$0;Iۏ4ےo؅R a}\Z*]+X$/nD4`gRL D[\%O. BFF8JPb^vh9w>vL;Q>m^or0Kf"hN#%!7ey.24Ns2 PBDXf.`}3UjV2zXTwh . {]k*XHSI^쐩½)hǣRdx$G0} JC_cЗ$uTYeK{8;ٞ`Y3l%:qu݀:273xA}Cisȴdnz SR/An;Rc,凚#J7?*ใD[ TBRR!GO|a/\۫R{S⯅'/(XTިy^50߃NU#Gٽ{UAWM OC@u> n4bpS%=wZ'$Y?bF&umO4nb/+W)`&Iꋔ^gi?B/e`o^ȩOxa|^"V Շ_a `>XGuL\Nו WA_gѱvw!7:TD[ Y: lWD#(Zvxّjkv_ Lz4 Bg #)tjĨ$+2zմ!0scwe[^(L]˺]>Yo,儆Lp_xJ*,;2 $l75`;czgPU )$(ѧc-Y5XJ-Yޛop%JJl\hLPf$PXU4n6OL$ү4 iˤsuVC-%ػ7-Մ{kx]C $gYZ13bf7a88bbc3f18848bb74c0c5d8143489ae646679d8e835726df87c7b301a8f091eddccadfabbca 384240766f364b0530b95cc787b490d4a226797f 7 Abstract-Hoare-Logics