SQLite format 3@ . BBh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_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  M% $t| ]/ HOL-NanoJava:threads=2elapsed=5.743cpu=10.240gc=0.612factor=1.787zXZִF!  ]ŗXf1-q恈ֿ?6q*تK]M?hac耯}ڻ;pkp/sTLx^̨ҨLdRMN/4Q/cXV3/ `L͈`ÛhOPE՘FYIPC%Չio;4/ ~nki= Fʒo45y(UC*>X:ר:dćH!26d}d e ꊩ5^!_oyW$ BŸgYZ7zXZִF! ?]ŗXiɟ1|H5} \]f3ؑ\]Ej][YtTMWB9vW;J+~F}OʹvΖcO 1} %Wɇ1͝ в[ę{;NAծ%k_G3o콪)(3qkbݦHz iܿTY/6}Mt'؋}C  ,Gkt|+kTMk~O(Z}X|ʮtɢPv21Ug \ QJC87Y!K(cIߖ!0dAW8hS%5"o]G{联 2w Ё=f] \U<"t,<= ,[\uP᪦bƘˤa^6آj %x)$ A1ݻԼ u3 o %01]F9ݢ j?.X8iS`0Ŭ&EK'f-$J)<D{ް<5þ&p=lRۖ3S nrT9ұgYZ2c5eae7b690f4f6123435a315100882765c5aebb1e8a5e75562653ea4f095e5003b29df3c0c7dcba bd3bdab246ba0ab9f1962b0a2944f493b5762d24 % HOL-NanoJava