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  < ] Category2:threads=2elapsed=16.596cpu=31.452gc=2.120factor=1.907zXZִF! ]ŗXf1-q恉 :NCG 8vۗ#Y1 h  PrJB3~ʛɾ7"s[G1m'oyQJ j2hStR>|kJRA&aK(??7Ev~!Wd7/fjcD`fQWa乷g).ҮêN r ¢]U#twkm`h8:\uy^ws҅ xҸ{f] RL*/o_C6=} az0Xt_BR]{aScJH \$/3z.|KZ!bQ3{ /`Mz\<wJT_-kYZWukIJ{9%!C$"AHQp䃭Jkn~$Ы#rӋ8{,H~$6( 4]CwzgYZ7zXZִF! ]ŗXiɟ1qnAcP꺣3TAaoA )\ Y v)G)ρ$/]W4~nZr,|eϠ==P]&C|ͤ^-,P} nѝ苬̧|{ B鵐:tnse} J):ĸF#$:'~ xbэ~9ک0W]fHgYZ7zXZִF! e]ŗXi%92xLC Q}=٦|¡p84A7Eb oj+s9[ -n^]9 ?Wg#&R z)i᳠~ ̆<ϴ*?։$=[_^gh1^N>Yt _r$'R2ir,m)̵eH~AX`kS%O$"c Dj'&ֆd8WC#E37E&j@SfW3s~!4YƬ6?aۨؿz&'&lx'gqy:$Q?6EFN&?Ї  }0[xt;5srZˇ&|fQZl@!VFn7P$l ŕaÓеaj?䑫Xӕ倉wV'D yi 8"3Dum!#6