SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_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 O |4| ]S Noninterference_Generic_Unwinding:threads=2elapsed=18.270cpu=20.428gc=0.440factor=1.127zXZִF! v]ŗXf1-/6vR[y(&j-:6h 3p#(^,B9 :ClsNP_Ct*l' :7 tg"}YZ7zXZִF! l7]ŗXi%;w`(AA6+oH9H:e?eW".7z%m4gR~G Eȟgp&)b"l S% !U&=z%z\hΙKK TEqcv|hĵ5Yw@N( lG%Ȣ{u.BcR_u%:ANf KDMK飃Wm/Tƒg}v.`mq@ O2+IU&V?{H 釤|Z5|emm 7Y7 %ΦPvƩkɦ "Y GKiL*u.Stĥ>{IWU(~lpsM q*!WzγW]-B 4rv}GöJL+@ߌMA˺P.7*H> Kr? #.6{S"Wk\Sh3cGKIt=6U2JĵŇ|y\OC="qE|\71;~go/V#>lBwCj㍄2nމ}>x]Ϭ0!WO&yEDv{F**jrNb 죾=/5xܮ/qYS9_C˥=[lb-ur"4l (a$gy&"f!@ vf'e ɩ1a*4f(¦k:-ьh&wN8&+.qv &¶+Es &faxr"{pdTy1CBXGOpn@/Hhġi0(슖~Z Մb &:gYZ2cfc3282d2e9871b90b4b2ba758495f1b75f75169667212091580fa4c30a7b10e6591774082fff36 af6044d1ba548f70bd68d24705f8ed6fb4aba65c 4016e14842f5bc7faa4795f1fcc35a45ba8b412e f6b5cebfe0849da9d089d31fc8a03aca430ced2b $O Noninterference_Generic_Unwinding