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 JJ37 $Dd ]/ Abstract-Hoare-Logics:threads=2elapsed=12.988cpu=23.540gc=1.676factor=1.817zXZִF! D]ŗXf1-/6vRZ\vW>_=֭0fA@NF &K][S<<+p,wx̸x9~ܩLO5Xc}C\&F`Yu׆\=t.IVs)A~ѝ4=+\ݱ JGO11.wTEHْ`Eб}θeWTwf۲V~i? 36\O[ܠBRWi! uN]dcX;E_7YR7q碭KQHeE~ ?Y 6-zS-&ߩN7,21V͡0@/)4qvo!X~@0I\&`= ZN(FĆATpgmC~#lZ|G>,4V{hCE~-T rWgYZ7zXZִF! ]ŗXiɟCrh8å -nIM) hX^ o7{JnB˜+W5ٵsh-սwN~_Lp\bA ;ð6Mi2`Kn{;g{in߲7+H{K-l wDLm֘?:1ԢtHVE&-}@4=PjAu&wQ۱gYZ7zXZִF! Fl]ŗXi%9(O[:F闍e|mtfoPIW]CČeR@co ZM|tAgƁbDž)\_$Դ[.!`=[ gVuxJH:bz5Nkx.d[7ieӺם7f;gqX B3ImwmEhѾl;'ѾuIz_?g`7H=KJc\ڣ6^g^7Z&z䫇5ߎ}?ZKɼ\Dp蕮;*dZ8'buS>@;_FaGxrLgs:>Dt[ko-֜MSmZ]$Fal_lppl_b$|DյҚZL99,s;$;#}'5ΰ@=؊Ҽ01 I+^QP׆wmHmhpSab:{ HGB?I@>Ĥ)Shtzd}Z!FP$,~mwWP,_Z-ZT* ̜Y:ܩ毿/k-*ENm$)뿦;cYhvPd'&wK_!]q xrgYZ3c25003d54703cc1d6caa54fd4ba947bad3f986b3bce9911b38b26864d8838a93be3aef5c2b77cf0 d2df9ff441ab15caa535de40de1e228d1854fe2e 7 Abstract-Hoare-Logics