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 %S ShortestPath:threads=2elapsed=4.583cpu=6.884gc=0.220factor=1.507zXZִF! Dz]ŗXf1-/6vR[]u_4(މ׆IdƱ^v3 ƣ39=}gmǭWtS~ao{:ƿQT|\C֠3mXtrnzĤ**ߑ{f'rJ9^+}k' ┼v Pvb~+HϘuTvWt ,FlCQ V/ 6H^ K4[6J 16œ pQyΜبǫI Mic4٩_kA#3%Eݷ$~[͉cz"wVd'XVq)_\vˏ5haL_IZ ̐`QjZt$bp$*/БW`jSJ(t1O]beA(i32c4 VRo:BkmȎӓ/lw%I Q"lܻ+4{gYZ7zXZִF! ]ŗXi% Q ae,.10 2׷E- % ShortestPath&˝a0- ?$/0?ׂw[mh#|fbL5=AQ!f"wwm8\qu I׈צHEʣ_ Yat6l埲1w" * $'V씑3dUrF?$m"XMjѐZ&>rkh<#FN*Yxӛ!GDl*/S|<Z*N1/?m#ʗH|T-<{P7Mݑ'ilv#|$8w[,ľ TmEé+obvj>Ϲ Lj@yleLMlϫ'n8 tsIy{$+)r#@v|=.db:9e}!w|\{XvXSm +{~f+h<4iؚF|97ڒξzeWa DIAC/ުp6!)dd