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 d%L %S ShortestPath:threads=2elapsed=4.811cpu=7.048gc=0.220factor=1.467zXZִF! z]ŗXf1-/6vR[]u_4(މ׆IdƱ^v3 ƣ39=}gmǭWtC34h;w0f=M7KI\˲`]N ~B Oyd{YzխP &ݠ*}Eϰ.(}s5uSՂno98 ^VXATXތ]j*Lw,&c@OTx6?!;eVf^ og)GvFʋu .6c;h-\P=ᰖu~H6yaǔo:䵑.:@L5ϵnU3ׄuZ w/l|v>&2vQo\,tpPqPJ:6g}y2 N)>{1#pZ葁ͥ^3Ȱ 8ehrv9n7p,sBE1Q8q[_o;/&Za,2Cνsm5PH+]gYZ7zXZִF! ]ŗXi%2χCg޵mF6?uXןގZ % ShortestPath}Mōp>׊4Ug,J\@=ΗygY:p:)5.6['׈h;:³1!hwRaN*z* 鍣LLWU87OL?9]!nd[/}9աZOtI1~[# IՊ#藍oPօX3ILcv*ubhz%={8!b'v]+<<8geYJ$~S67adX¦Ґٜuðt@ Kǩɿ'qa@cʵsNUHfYX lPԑ3?<-L4?^;ޝI6 N#>%>>mRP+:A;&ʆ>pN)Cg^LJ>y: =J!=t՟(u/Hgg}\ԗ_ fH:Qa GPk`lVC]Ҥ|J`P]A. ~+vIun`̊p%2a#4R񂚷;P ;-80a<_Hѡfި׆U )L7yJNNug(A 1gYZ28f21193c3a7dfa3db954818dd76020f7cd1cdcd 5935aa2ad6ef9773f5d9a3140f425bda57dab635 85b4d40688fb795cc1f4cb9290d7593a2f3434f8 c21b841c8eeba16596f5407b3ee896b55ddf4073 dc93f795980026f293cc51bb7cb4dbd08423edb23b94e1300442e1a3f5f809d9b370cfc0bbbae59c 2f80d3f93a8e8908ea20a991b6190f7aaeac097c cf1f16d97467793acddbdfea0d823a4bab350303 18871fd7fc537cb12e7c4a591fb215bd613621e7