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 J# $ ] FOL-Fitting:threads=2elapsed=15.432cpu=26.160gc=1.840factor=1.707zXZִF! <]ŗXf1-/6vRZZz` #.;9≂ + Reh<:xp%#\]FDOPC " Z2v{; E}4d2לI~E`*jqg@jlAW3^.2BR5TZY^A '*T 8 9ʉHl\ط; .ܻ#ΉiLSM] T84t=w%>V`!2P knAtFw۫ah TKKd`xECj 9*r;g^"r*`e2@r`"5@%=yV'fM-$`S,IpQȥL_UK&`%EAN~3ס RP;Z 8<@}]+ʒ X&9x}qyH]R4S6V瘟PʣN JuT9ITůlaƟT 2c7u"S2^tS饻q-hzdQ!Fiyϻ$X:F`V~ BlGB{tb+0> n"F'OQ%`gEZ2nv3fq95~ E5jŽ@ dT}tN޻?&A,g(0#]|ّ'X'Ae q7v\-?ވ)͵ wW:Vۂ3C$T.= OY/E:?ͥ1[s&Q؎)at]:vLK,a^_]0R-RkY3O=dK)!ŵaY6 ;lS%w4"|ӨstI ZԎ9Ls,4l`Hlz7 ,*pnjh6> dG2=yDǝ MX8VkE{uܬCɕH⿿j pN[. CXoIv|-شLrCk\"b a8l4]tuTV+\xKNo&37]!*I(F>e'Vf23 , |k[D_gj#O/ = <癉AܗxPu+\  gYZc63aab43194c0baec42ba3332c2d0eee9f5d5a0c767d1abb4385cc0848829909014ec5284a74f26d f8f7da93998fdd1c52e2a4472eb3025f88ab3418 4aa777d02a48666be1db0a0252cf123414021bc0 # FOL-Fitting