SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_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  L L1#T7qS=TR:o1[.̄T<4cQlJ%`e)іd gYZ7zXZִF! ]ŗXiɟ>Ӈ~{?A)X}|g3LAh̟pʖ95r*;{ :Zd]('o  .MّG57]cԯe3)Tg j:$l.atYkь<7dAt(a9gYZ7zXZִF! m]ŗXi%@b^~Z9[Y۾hҚS1w&;?`&$X@$7zusd퍈>u_8;6DZ.t;g#Z/#.gs)W6ͩ-)ڶ `k_B7ma6@ XrQ (\̱:U7N^=\Ǯz0SDoSF pTF p>wv7t,r%Ko*M?jA"џپ&ֺ*$U٢0X|E ǺkK>!/HvaCǠIK"1K&;1 n r秜y̼2K^^z?E5dmdA"֊UG}hd =ڙdl}&eiG o@pK߰lD-\ZGÐɤM>T/!J D~S\Auץ'تtmq$9rZyPZn$${0=t)`an͖A0t SR)2DӚ$wi(W٢oV+KgYZd0ad3d1729c1c9d324c5badeb0d0a8dba2c8117731f92072f849172c668aadca4c36428f18253840 bb6d91cc82c83410f56f890ddd921ae98427d5a5 bb1a20c0dc9f2da534e49fce46b84388fb295b4b 0401b809eb777786d18f208811959510e946284c # HOLCF-FOCUS