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  S S*G ld\ ]/ Bounded_Deducibility_Security:threads=2elapsed=6.349cpu=10.420gc=0.436factor=1.647zXZִF!  0]ŗXf1-/6vRZkee9!|xKQLFG 4t5B")f: 죣Urfo/ z)"'].\aB-+#t ^"?8j봏c8;0,XORѤ^^hUXVv86yul%8){YuFB%mkcR^ zzm-FK(_DI<_EP7K {Fzy">_;L 8k8VPӛ1V( mnC#T9y)0P:*4Ei:fog ;αgYZ7zXZִF! ]ŗXiɟ'MK8J|!W#Bui x*OR^o>Pz J6?F̽܎U_tFr"^O-d'\Lo9z<9&zkwAg4ۭ?ʈ&;]*(oRŝR@fsLZe,$LTX3k0;gYZ7zXZִF! ,}&]ŗXi%ύw4Ʌbl|ahoʝ0c(Ts?4Xɿ'Dq0mW_Am \q~OSOxzمC~J .9»D MGą*o|䈜lܹp)3p- k*rT_{cZdCA2JШ_dk^6$1x:'R#[J용꺖\DS@v+UsE`Yӛ6)UQ*@0lH:Z_xPGp;6&* qvyۥvN{am%2l*S-;R?}捒?n.ܠ1%fw=MsC1pI±ã6KYpe -F#t@DMZnJT׮ƃiݲ =k[':c[❦K@SF8X6ac>>_iSj`tpR6"pP&.Ҝ듼Ǎ)fq4Ũ)J"Do|3eVjNh:0E~".{ N*QFLPfF`mQg"gg]—!IчXm:)Dwf\Jqsɺ<1G ?ҩYpH>mܨ NT[h t`kPPf914E-Zمch*/ێݵxlQZs1Ҹc jzB;j xuXNEh"$  byv%$MK iX^#gYZ5bdb54f65ac5e34462183b8185ff26fd6ed0b880d6ac031d3e88d65563eac5f02a097b7a1de9a7e3 f9599c72045408b4573575612b1544f97d3e8615  G Bounded_Deducibility_Security