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  d d% D\ ]/ Latin_Square:threads=2elapsed=6.963cpu=13.480gc=0.220factor=1.947zXZִF! >]ŗXf1-/6vRZ()N0R$Ҏ7#u2n?aQYL"KNu )O>~c+B*+!rRcˋΛ/igx8FXs{"t!j8Xs G†Hz/}˱Ľd5b(x~gYZ7zXZִF! Z]ŗXiɟPaOõEWDwSlZ 8~1?޵xX$G$q[͊=Z~?:$:S)Y51vgYZ7zXZִF! 13h]ŗXi%92M" X3Oi7\4me<_pFH?_c4ҭΚ>jjVSp^kfUв2 ɯ9LJP0vmֆ8з]5^rZ- ndI(_S^)5bbK=gdb88@-ؑ@ j'~6zD=V(@nc'G%k![u$(G)27i9kD%J3tM]}R!o _ǮӞuVjZ*Or;5Ҝ+.;GCN몲!TgA xH&.š2kv^T^v E5#a:$愌1 :z; U +\$(Q?f0! Н4;|iHklїܖϠBw@G]$2Qtap2q%9_DbXPt4 fbv/)I>5TC4ș}! h'ٍ=LlvhGgUScA4onrhϐ=GU_k2"M׀U~HB8b!X Ht1a p]S{Qg3 X? 3ܟCArQy% 9'$