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 7%|L % ShortestPath:threads=2elapsed=4.643cpu=7.016gc=0.220factor=1.517zXZִF! x]ŗXf1-/6vR[]u_4(މ׆IdƱ^v3 ƣ39=}gmǭWtSoK5 ϡҺ7^{=g:lv:`H.Ss%/=ÉU$d>/i\-Ξ =yT+t _>|q*oZU~=9WЎ52EMߤNS5Oq@DŹHf<.f|ȑ?&f6l:[ǀ7j<ᩴ`e/~!t_M DUZ!݄R!Zw43LsӲ1Gt8RMاmƇlе*4 gY&{ `eJ.S׷MYB Y6!W8Jc"mʨ͕q 2=v,,w^6KL*q2r's]c݌ ^1"׼`0D &2E#>ƒ+:>A"ѯwWEsc"\D/ þz=U!sU75`*BhWl9(F'Ce"km}`%f=p49Q XXFz%{G{2"UFw5ZnDZgYZ7zXZִF! 7]ŗXi % ShortestPath%:4h% 903 hC _)$ bʲ"cx i. 1?`rmf0uJω-|\cb8)eߒ#7.Y`9&D٭EW?q!sf ^|}PLfkWa$jP 3EJ$Bm7)6Tz;pokv7{>h7,|M͊UA%JnP]bHm?6΃LXT5=$׳/+LzG(Eፄ# ?O p=s8HTHhap8ӞFó@KU<cñgYZ5935aa2ad6ef9773f5d9a3140f425bda57dab635 7c344a82879376904aec8cd044178ba640cf8ebd 85b4d40688fb795cc1f4cb9290d7593a2f3434f8 c21b841c8eeba16596f5407b3ee896b55ddf4073 dc93f795980026f293cc51bb7cb4dbd08423edb2878527395436048d51bd6287a500d1cb05dc0aeb b7f78dc5556061cc8d808a0347899300b2842457 cbff2fd58ace604558740c1a1eaded992783d278