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  8 8E| ]/ ZF-AC:threads=2elapsed=5.547cpu=9.376gc=0.504factor=1.697zXZִF! o]ŗXf1-W'U=Oww '_Vjz/;v |C02Ε=Bu֮*ffZ^H c-&[Xp=`mi6EL势U*s:"0DѣM))}j\.>o `'EٰMlH1^#64*RT0KU[C|~N3d[l1Z=G" IxwRGK|gYZ7zXZִF! ]ŗXiɟ98c tؠL\RIy!nI/a Ry/bo >z6%kRS{Fs"Y{૛l28=΋w>$&h&1̙9'ɪiӀ?6$}@ xW`.w^ǘ9%҉mtW|OSl$Qqb˓%DpjïgYZ7zXZִF! .B]ŗXi%;Pj5.őԐR0 489O]a'5ˤ5ߠN|s.AKPq7$1> NG5BǼWQ9ַZT9{Nf%"ԏ\6:=*;m3x>}D!s6' eEi9AQ ѻ GD{kU!n킝U ]X"~sTcgW0K# 25WhtKéQz+ssC5[s,?d5|aB(U)c>s:{IT.M: \MW=N\9sQnڎS8ޟ͡:R|T7>1l- ]m<uW/NR;S!w/p@c[ZШ8ZjK )*ؽ s0<i#tוEw1Zsβ@ک͚Y߻eqtEp'd!#.SʥԿ٨/nENPmid:;#M Bo#n0?d#gҊ9wz] l2]s2gYZc7b7c436c41f8eca660453e064ccbc3a9ed7cd9c4b2e4ef84f2f7c72f1d619e9e1af08455389b338 41e65c246344adfe660a1912fbe78ce79cc96f73  ZF-AC