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 }O d4 ]S Noninterference_Generic_Unwinding:threads=2elapsed=18.162cpu=20.248gc=0.324factor=1.117zXZִF! ]ŗXf1-/6vR[y(&j-:6  ,w:־*פJ]P8FAfM5brgYZ7zXZִF! fX]ŗXiɟģ={#1w,9+ݟOe F>h 3p#(^,B9 :Aw43՗XS":}CRؗ^tg"}YZ7zXZִF! ^ ]ŗXi%9#qtxQBǣP=n1Zٮ_i9~$RzNP <$*CE #sjwuǶ Z ιU00+0e'~P~Ku P$js?F8bvLf -4Hz#^/S˭VꝹD͑$3R=4un1OУɦ533CaHr92)i A?Y@MjqJ@:n̄y |J0.  0Fm3ϗ6rp0. ;! "/+dk [/G21 / ['¸OHy5MBNC9w֪UR<cK1C}=k48bEؔ9L9ח4f͎SuIhs_d*Of!m+] 7wm{^s.SŪ!NRϝAW|%ƋgY՜0mQHf+S8[4y..a2‚NCJ@[g@U3 h D*}@t/˰<Udu(%L5jP jefoI7ҍ[a8Hpo;ཥ@/3vєџ5Ξ8~y dZ~R]4 =r6,9t>Xwc7SyԌ G!'t\}Hx4QR߉H^΀\񺀞g_xWYvϻ6=$v RsQ }MnH *|Òʶ؈9HT/?C|EvV^Ԑ;Y7vH)v {51%gD?mJ #)*,Tbq=s棐6̺3Id$J.4'Y@I06je4cUu`܁v]}G-4@3ݑ0i2{7[@ c  +@Fra@noso"z~a g,N?[Imw lUX 6y.ڡ_~zx,TMInk"fR[x, 8|gYZbe3e531cd4862b8471cd1441fa7134e70b2929078ae0489170ffa4e9aeecb054da5126bd23bcab2b a42132ca83816d0082ab6b716aea896bf4d99d0a ca987594077a54b1c93d405a113a27eab90364d3 57114cdd1ede951771f386f71da9aa8fdd79dc2c $O Noninterference_Generic_Unwinding