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+ , ]/ SenSocialChoice:threads=2elapsed=25.420cpu=38.644gc=0.772factor=1.527zXZִF! ]ŗXf1-/6vR[]]c[QU!nݍc ?c=YE#[͑#i3%lXe,TX5]44% *#,TØXki6]Ƈ$41rbRr![Q`FF\ Rn>v~A9ASþ"Zg aZ\G̏@B7`~CZ~g\>HD Ͽ^z=>{ǾRNˮ}1p \>ٜNQ=k ~Y͘sn{k񢔇5) \lgcyL"ժrbZ/ 70cΡ(,M7r1neR56O@ B\S[@85xdyD2[+!YuϘ88~}qG+h2T<'YvvlUf\pB_jbUg= ]ḓBXvbL G.zoXW Q?ȉOV@pGL Sͥu丩aYgph|E†nhEjLP*bW$ r}K]ڔnAmFOŅ1C=kepà ڌx7OyT౩R to/cIsBj)I@N) W4 ;g;.sxٔﰨ%w]>C0B -~ز"x"jK6f2}Q)V?"_TQt5ud'Kk x sL:`>#~'pTQ_A'.N4+1?k4M{GzP%U] e>).[J{iDr\4㩇dMD.1D@o}O`[T<8U_KWB-7,FTA]rƶ|(f? ŠJJ.- `0t.rTAyN)^I otO$!-7rP53X+=¹Eұ$# Iae&/z6~vr@@