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 xx1 D\ ] HOL-Metis_Examples:threads=6elapsed=12.047cpu=52.592gc=3.840factor=4.377zXZִF! Y\]ŗXf1-q恈(K&Կ6l#8 j`;"<2NSVVhq2[!`HE:xHqu )9_϶"Q̹]wue/~B@jU7Ǩ1K@ :Z85\KcOUL0mK K/y;`& 'DBxyeDH,cԔr1˪ $Q+Ͽ "C-H?qDӀRb&svwa;$).A:5BU /DС ݗLyl ]'WCc13{x0O/ܾ9zڑ_2k%EPmW'+NXq : c5;#%nԴ"Fbx%f>bJٲ_Nf2?II6dG"ۅď1WD %[fѡ@Sl DgOϡ[ ! |sy8b${4Ç)@f gىH{!QQ>Ơcm졃@fl~y/hޓֻ٭hJN]ȼ =]5y#j@Qq\i\B[B^/ctm3 ^f*ym ul#e\o'SA (?_UJAa3t;Hex}Jt\:4hn]3;Vk޹_t?l88;)-R쒅 i 仰r^]BsVLul$&WǓOsi.>/?͆S5j0j87/␓1p$ ށJ$ *(ۥm{ sãJG+s"fB}%i>N:IW:W~ 1SK82ewHFC/2b Կ*J óHEgYZ7zXZִF! &]ŗXiɟ1$Cܨ }X 6P]!ẞ \QM`|kt:[,"GF$\֏ӹ]O(L۸< %@`xfdYuvHWRn?pѴcc"u/5@Mf+~r3..a,!~>OX~Xâygf@wtJ1A:=wC [OPAVD.sv]6g>SQ9͝8TVE0?þk MpP-?mp o;9PtaV |@/WwW|F$=:{Ca}Uؒl BuI}K N0rVߌ=!`'W}wOuSz~ Wa`B,!>}}(2*8.G}U=륓X~ߡFԇbocbuXnuʇݮ _s0b!?}.JK~lP.Ck^wDF|1Cqz{XՕiر̐OT^} SM(= z+mvM^\W} \ў{.b+/zm;FvjF"k(lmgOCXTŁ%X45 :V_ ]Y vM=yw{RS缥/mvc/}P]FBHANJ