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 1\$ S/ Roy_Floyd_Warshall:threads=2elapsed=0.584cpu=0.920gc=0.000factor=1.587zXZ 1 Roy_Floyd_WarshallִF! ]ŗXf1-/6vR[OqN>>3 w cWb>Iu3ƃ:ZGZy-xW\"pe%F]3 RcvS`~OjLCA#CnOy3#Mڒ&[8fEAy)$? # $%gYZ7zXZִF! d]ŗXi%zx0=B x 4FlWih7ZR?9>f>ٶɫrmc0K1w3SPEY3/PyЍkg(=!-#ŁWyK{pi-)П-a*dQي`;> C"L/{1CyNTa=鉓Db^"X8s+lxAstLNƓ|~DU0z3sbg2|dϪ{gƼXdZQ{ ',JSF"B~⋒1ywMEPcx_CX]O_$$_W°r]iMh+XTrV`=@.4gYZ2f1689c53fab24c95a5b352f1f1c14ead975e828 706f6374d283d63bcdb3671893feeb1a004a2218 80b97340157f3240891e23e6a3a1b4a1760974d8 abc9fa99aac49ae65306b50d3de628d9fb5ec3a8c27a9b4598ca656eb9c36aba33ff1f22941d7b72 64354e2142aad138813a04882ec6c2904dd4a4d3