SQLite format 3 @ - l l B77#tableisabelle_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, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7 indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info WG tL/ Bounded_Deducibility_Security:threads=2elapsed=7.007cpu=11.160gc=0.420factor=1.597zXZ ִF ! 94] ŗXf1-/6vRZkee9!|xKQLFG WK2hzО\iWlX Vຖ˰fWf i} ('F=gøRP^.WȸJ-Պf8+˩). y
d?9Ro}A/uݯr4L ͚7{OA[/۱4o
G Bounded_Deducibility_Security -Pz1 ZImOmRwtdUynnvd>׃l80h]x6_:[xr({"BYk~)N{yJcJ3 03{wMPnSƢ
GҠZA?J
E.}{ iUj\MGABU]&fIlf$H6U4>ּ{ڦSiiľlLKAe?P; ?cIl",PXni} ":h%)9>^ԛ`3fI[xUEt >J&9BqbmZh0VS79_TBe;44>N;Pm.YD壮Ҡ <,ZebRhMxsbk0$m'R1EHZ PI_bwC*Z#ZGƅVw5t&+z2ƎH`ȩ%6ѕ%ݮTUƅ}3aBiŐ%iD>}1(`X'x<后f WCEDj6dȒͱ˵%}0Tl^x nFi0P[SĻF+IfjbA18wU63Z=N ~_` s }g YZ7zXZ ִF ! ,b] ŗXi%H
$X8a1I'!w 0 gqrٶ.xvt AR.@-%MYܬv̬t!/R
Z3[Od+w%%\Lx}Y~X sr"OD͇gedcrʎE5yz*raᮿCh2˲6luT'#Z 5WcdGy1<Ҁ#+̈́0C5P$Q/#@a(`6g$Q͕Lj/FU-Z7bN znm;%C]Hoh,~O`J+ce7q7)ku*]Lxu##N<'w-ɞ٫\^ː`Gƀ=4" xf:
v
_{>3'*b,*v.ERFVٓ?i7d_zH'C*%BJ =[F~|`=F-22o/ϵ/
4?P$d})Dmh4>63%ݬK"=փZRuҏ)%]h%pUtyC%D5&Cc.U t(!FU+{;L߃~2Tg\qj