SQLite format 3@ .  YYQ77Atableisabelle_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, "errors" 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  A%d$ %S ShortestPath:threads=2elapsed=5.640cpu=8.192gc=0.156factor=1.457zXZִF! +]ŗXf1-/6vR[]u_4(މ׆IdƱ^v3 ƣ39=}gmǭWtR6<ǐ9.9@㟰 qD_iPMܑB2'ܔ f=hK4ɩPاa?G%o[颁 eE"S>n+(75#fe!-j/nǒl3p@jHt۔ @c\P4\AUF,ousH RH䴦ɻ,&A=e=2!ǽBxS ƟIAG.b˱gYZ7zXZִF! "]ŗXi%6 [Jmq8(J \QoKc驄IώN KǍ:X=vDcJ"CA d~SIn%p&5Ǹ_[/.}^Ca~q#r" c9q?ꮤʉ`!׭- @<*b` BYXxf@ Q ?8%>g< RFEJD|3j'7,KBFՕq>k5u\iYg>IKJ,fr E];![Ӄ;$aX:VA5bG]Ŏ-=FN;@(VdC_?%N?\T(B;ߺ%F ?% yg$%]"P;HzC;. 3 v1{681]m%n9M㝦woy|*h-%tvlMr}Eww8y&YVqʼ2fsxЀh5w&iLoy)fDxsMYu1p^bIUY.h) j$Wۮ\j׏M4w z`Lhq@L`N2dlg\'"QI~U'z(64 o/L_ EthұgYZ0530e01efbfe11f4d22129dd4c983c02e314c01c 5935aa2ad6ef9773f5d9a3140f425bda57dab635 85b4d40688fb795cc1f4cb9290d7593a2f3434f8 c21b841c8eeba16596f5407b3ee896b55ddf4073 dc93f795980026f293cc51bb7cb4dbd08423edb2b9e4cad54624ad835a14cb92fdf2da43457b5cfe 0c8d5da11ffcf561ab033c36ec59459b7d4f6e36 696e9f2819c1b0ea32fa6ca0613aae10e741b796 c16970e351db4f266f16f7400a7f43383890a70f % ShortestPath