SQLite format 3@ - llB77#tableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "ml_statistics" BLOB, "task_statistics" 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 f' $ i/ Case_Labeling:threads=2elapsed=5.485cpu=10.052gc=0.140factor=1.837zXZִF! %]ŗXf1-q恈NucvAݪ4 c?[2C IfW/a RIțT" p.bR@*W$s>VN-Ϛʹz5pݕ8E'EZ!He |WS,ٕqu}lqBDQ0_*_w:gWEn@p5ӶBMݍW/OHDPi~3e> 0ü.b{K 3oL[g: MdseƓk{KqYxf]CǩuAsO"޺d<$l}pʶ.: ,Al$\Cj_g# +YT=p~F E @9ڪp|60hƬHQx~"lRYbdr{M}v/.fgu w_TRp&Az D{Xw WpDjTAM&Va*:prBҦU^ΐ+RChàW@zw8mjK5̇+B/I ' Case_Labelingsnuh%{γo;5.3}$zѤ/ ^0o1Gkt>)DsV(c]#hl7V\aK2cHQ$rYr9!^W -Y-Nے|bV(./]$/˻_4K(ogYZ7zXZִF! %@]ŗXi%DQNu'iB![AL%{A|yܶ)82GOkcy{;OKBhUhE_2]|aЄ#R(vY՟{ƚgl`$k6␮QT B%v"#k &V܎ })BCPnA d]cұaq6ŀlSk\ <2~(%MQe_^uw'·x6E/ iF`ok_D9,vWc) j^Q@E4w .#ܙ~)wHpGN_(j{4wy|z#1;/UI,{G)1> k W+}3$DS-x r#>ެt"I5ɔ.W-u