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 EE8' T, ] Ribbon_Proofs:threads=2elapsed=17.793cpu=27.472gc=1.880factor=1.547zXZִF! ]ŗXf1-/6vR[O?< nkh{BR<)0^6\2iӆnRg>97$=hup98V5PTE`6E_;C*N FD$'񷛤 .y`_gSƓ1<jxLFupvC:M ɅśR@$|No`A":CG> ,RGJ+!EHhv5>IzbQ(WS`J $'y.̇O~+B4(19qZ )oaσEVi#лvɅ@p+gYZ7zXZִF! bO]ŗXi%;*ҷ|uxy!'`cM*;ĩ4n4#ɔD ט)K8>$Vn3=0OPy6ش'"jXV#,,GWMwrEpd88,z FP"FesB|Z߷FKNH*,N 8:%4^"zb!6TO\g3b6M ##>y2ϼp҄w-*y`Z'X ^3L5dC+0'e=~q4+0'~’Ф3T3o*Y kz\&У3uݎ7 W<"݈\ G̚;|crz&0<<8RG͐0&UVuQYiK7ORj'(U/kdzi^n{QiͬwPaY_ ѷ$Ča]3K I/8mR9XNC%DoIԼ.%߀͡Z(ѥw{:f2bq`"V^;V`QԔnl3\Wb. c.I^;5] gMXɚl5 aq€ 9A/E5*K3,t3?<x+Wn$WAŌnN1K d}⢀5ЕZY%PKk~r_JQ3:b7V#[X/3 eLnбgYZ3d387a5655d7a9c1fb6517ba5bdec971a76ce8ef2f45ef79d98bf4791ca25c4e1af3b76b517203ad 1b41415026d3583c6b6bb0d2ec2995e8feb75528 6dd7123fa75097b18d3135622d27b8f5daf5537c ' Ribbon_Proofs