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  G |,D ]/ Possibilistic_Noninterference:threads=2elapsed=39.690cpu=64.080gc=2.520factor=1.617zXZִF! $bv]ŗXf1-/6vR[2Y*R!,PeS 7ضJ\?[<.E$= V̆Ttʫf(4Sſ^PNX.=HCi +_͟7]G礔z!8yFnxy܊5TFLޣ׈yҞ8!lNNr|DW-,D)M @xԲDd~%p[峁lyPjVrMT`W= 'N0ӗ a)C[$CoYٷ&"S]}^)۽p|ZM  G Possibilistic_NoninterferencekOJt l0t#Q ܶ~" 1S#CPя=8`4^,Y̿˸9VEϺ+d+Z_J"-iYW+3$֫t?!3_,*M$Θ՚EC D kx S.DB~|-F=@0/r:H+gYZ7zXZִF! \ ]ŗXiɟˏv:\k4EFt.Z5ʑ@^ 7`D1Κ̊i .+{jq6)Hv6ȶ0q7-Kf㉾lh*!.D nft 1`+N8!iKkܠ&׫r; Oh;ŮEʕ5Ϩz)qOwҏu1c]MiNƞ8 tv"3<_v*D *oUm5WgYZ7zXZִF! 8 ]ŗXi%92IYN}eΩ=Ɖ!ЖOBq(^,WǪI@~K)FHaH35 N^f?qp~Tf Bxe-j G,13+R*/\}/aζ`iٯ,<̥> &i2,@;ok:F8C;7925 ='i !'bgUɊל=Bo4($ou5Fc5oS4r{Tw[͎ge X>YHLKE,1LJ 5_b,ǔ*W\-hOu4S<y)$-cFX:YKPT Dub U=ޯrpThː1q~P\wQs /J@r rWH4`C޴,ъjי7ވl@b"WcJlVY,a 7UЭTn͗)Xu2j"_0e$ :/w&^[y _[Wt]L{\p8Y4ѤuI@541g%C"f;EW&TH"vTޏN`ԁ~STrɠ۞V_bQ0WK*h5&/́kVPI / Pu5VC1 Z9lpyN7a@_v3"C]M1fġ!'7ܔ*):*d.*,ޖܬ>u>;a2K+?d8-ܭP8^ XG y )f5=uDH L#,_ I5`1@#(j&qo>F0QԢc%o6pWD/=~QN(T΀9o`ӬtIKS厴2aDyx(H|74!q0\QC\B۵0R6756ĉtqe/:/N C/2U`۵ÝsQ$%g;mCgq+2[cPc2W7e?uьZRn`_;,.\L/g j#zFm.N?:ǚŠWP4VѥUB֦"/;(Ш_,Lp'͎c2{}6.ŝ`,'Tʉf" ?r׼IM~3/EDĴd떓J{\/ ֡<39碗A 45(/ŮI|Vs(Q{Cv~h%?3e\?Fo_ ޱ3C.Δԡ{PMp9MFыޒxysE_ zdD ˜a+KoHQ+bYUC*D'Q_*AHO/ 4+_{yiE@V~2 ɥZxpj~-."^RXXXXXHh͵6?n~ Y 'v!4!ҽg W6c'y0OٛÍ1)xuf0_bJc /T1\ ur"FE׉ܷ]U}:ܓ D)(\\?>xY=<*y׌19rR44pC_"!sSE'3L2:d|ʯg{F)XGTרy/Z;/p~p,%lWH;084U8볾奪 N@|6L"ۣ c_%j<0@Č;gUBF";Gu֋mFhlQ!׻->$w`6LS]<9+] Hn8O$X{k>7i|})QoaAqV·t;'=R .D${$U?Ie[Z=}!_Xc(*@0 Z[iHQ ]EQQWgYZcac6552d23dbb9633a623da413cef44ed1f86f07bc695fdee8824a798a8d382701fae26c53fc4747 5f7f982d9d8d0282fbc15cbadf4b07b06a8c8d77