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 S \d ]/ Noninterference_Inductive_Unwinding:threads=2elapsed=11.121cpu=19.228gc=0.932factor=1.737zXZִF! ]ŗXf1-/6vR[y(&j-:6ϞlcOW ut16_KΎزx3cu6DLml ،AOxI~IP1m1*Ѩ>d$$7Jwt7 7 M›@R ,qS7AA Xe9Wq8ה\O6>Ys1z V,5l.7nNS}|]si }.ۢS,FVvq;eu<({ s˝#bLN?"%vğD\/)Twе[y|6o!wevaCK{+n٨<;pD2H Խ+"ɍ}@`sy}+vmfսɓ7I;LPXg"*?}9A\ ׷,~OzEP G) Mމa?RI?10ūv޶PI>9`z#!"WO;d CFa7|=a3y~ZD-9 +?gl]Lu4wn':aT H? :m|QA4f5s粗|m:~ZoW @K;"[)wڏ/U!s TEUg;i;^Ƭ *(& lo@Dy35ǝ_}0l\N`36fbYV5Q.mZv&JU'wq Hy pxMZϲJbö~O_e2~+3R=39OM)q'3ĨǮI @O݃|p{t|ӱF4X^a9@XY( jaEV&Zy0>ǣ^) :S'oArF sB8QSQԹ^p@z^O7 6WB/4J& 56S'zfB+{e4@9|K TrMCҦ!3CM^'k ؟GY5hO$1tc|."s M fHkډYy1fz@otgYZbd5e5b91829339478eeac61cf90023de8c1d19ff0a2796d42ac427cc44af631a8b97f23c746aecac d64a82a2189953e009885b82ff3fe520b1ddd159 &S Noninterference_Inductive_Unwinding