SQLite format 3 @ - l l B77#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]7 indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info %$|AS]IP_Addresses:threads=2elapsed=371.054cpu=721.840gc=34.140factor=1.957zXZ ִF ! ᇽ] ŗXf1-q恈͐7ӺV#`91knTyڧ%kh^F+k7O.. n=b;Iu4L/ u CiHKV#YڡRүyNP;ǩ#X( VAʉm1Y\ėe'¼G_g0:ds"a_GrI}ݓ}z7=B.)~m.6+dTPsw˗;ҘZIE* +ίXޘ-v d y$\%c@Yhesrq!2ڼC : [>RTa? ^zSŁƟ6z :wε+df,moENg2& ?Fki9"'/oXGHXi=F?^Um"/]`INf0BYo^7XHǘ@[5r~; % IP_Addresses %z7#GHQ6c[wbsCp*ضp>Wı9 B#x*(V>|lſ8մԫJ9'-دd z]m{}{>%1|݊