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  ! !\1  S/ Roy_Floyd_Warshall:threads=2elapsed=0.657cpu=1.032gc=0.000factor=1.577zXZִF! M~]ŗXf1-/6vR[OqN>>3 w cWb>Iu3ƃ:ZGZy-xhoIif yXkL2 GiU0f &쾕/L;FqױgYZ7zXZִF! g]ŗXi%6xs8n^F!#1n+L'Hެ|qe=W !z4ȓ5.gJ /Q~ f0y4N)-nݜQje5`h #Vű&ϿKJcbA:  c!q@[PO R ~/`R&0H dBY껝zt,񒟥#v١۱eo{k  /':$6ڼqˎE?c02wgjyx0g-$>H) "xJXL#?Mw`J