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  Y Y$3 4, ]/]Noninterference_CSP:threads=2elapsed=6.302cpu=10.924gc=0.488factor=1.737zXZִF! z]ŗXf1-/6vR[y(&j-:6:Z1 nή[kcH M^ LZC5>٭L7vӗ27rl"6"N,V+bZTg-mrͷtǵ4qnlaBMRU,f?lM=a4-ߊmFN&5V ±gYZ7zXZִF! |]ŗXiɟģ={#1w,<=9<0)xGfXZ73Mf< IÝ4B .R(OjI6&:)LYGݻHأ}܏=xm$P LgYZ7zXZִF! 1AO]ŗXi%92K%4*1uOߵuj{S9 T>+zy/ ~rC֬bTCZBF}]y:r6&"V6kh^eK0|jMHA+~$M <%S oå="DO,u<֬l9Ҁ})3TY4]n Z`b>3CW|$f,2[CYyz:i sgH^7QV ݑڊZZ^dMNڕ#k̖&?L{F?k3V 4=2O%dC31%E?Ck:AYG|Jrm#U2ֳ]LtQb` Fe?,߀@d48V>:%̞5w_H _Xut.akvMeH1!EyS3R` " ;j3}Q  RXRKL3s m޺=!7 @Êj@Fv ?y7'&&"P oU򁷥)ep{PD:q b.T1զ!)6