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  |3 $\ ]/]Noninterference_CSP:threads=2elapsed=6.990cpu=11.820gc=0.560factor=1.697zXZִF!  ]ŗXf1-/6vR[y(&j-:6ذmU+)}2\< 89,e1NaPt{ BF|o%D ě2 0EejS!._{ ߰ 1\gYZ7zXZִF! ]ŗXiɟģ={#1w,<=9<0)xGfY{@ک#zӾ{bJ ,qyft&%{{7ZI^@"T*9d$& 97LUljgYZ7zXZִF! ,(]ŗXi%6So+ud2($drdl7#͢Q?3ެSJ$_LЯeb,"uXG"fWκ* !؎t>|i #Řt l,4iV8MH%+;9G(tCK nH+ ~Fև7{ʅ32hVT6s\B!^S D)BkVFcI"J= 6cj! ]~%=H([t t*w -pwU~u^>{' GCN@5!q;э||Bn{ߠ73ΫL2-V$Gځrna{SlpT9#Q^]_9Cb$‰~l+R%5@c&Jz簚oHƐg %]"c$mBUoH~d65 ƆHtD=Oo$~"^,tIglaʞL73E_Ir0[Zb9*qe<pt(Wy.6qe]*OY% y6w$K-G=gE+wTQrY9m2?4 54Tʱf0$CY6/JbU8V