SQLite format 3@ - llB77#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]7indexsqlite_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",PXni} " :h%)9>^ԛ`3fI[xUEt>J&9Bqb mZh0VS79_TBe;44>N;Pm.YD壮Ҡ <,ZebRhMxsbk0$m'R1EHZ PI_bwC*Z#ZGƅVw5t &+z2ƎH`ȩ%6ѕ%ݮTUƅ}3aBiŐ %iD>}1(`X'x<后fWCEDj6dȒͱ˵%}0Tl^x nFi0P[SĻF+If jbA18wU63Z=N~_`s}gYZ7zXZִF! ,b]ŗXi%H $X8a1I'!w0 gqrٶ.xvt AR.@-%MYܬv̬t!/R Z3[Od+w%%\Lx}Y~Xsr"OD͇gedcrʎE5yz*raᮿCh2˲6luŸT'#Z5WcdGy1<Ҁ#+̈́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