SQLite format 3@ - llB77#tableisabelle_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, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info ' T$  Ribbon_Proofs:threads=2elapsed=16.745cpu=28.792gc=1.968factor=1.727zXZִF! K]ŗXf1-/6vR[O?< nkh{B6 U43/眕9"nN/I%ER6Ă/ ,g4ܸLQKv|_/C UC2MʌQ/fcj0.4^E_sIN0Y"fjET|Y3xzDCBk!b-kZm#"EBAk` /8l88}\$"gΟΖ2 {QRAqȮԍNl6ڭGIԊ (,)7~C_(ͼ,Dack~xRQ_EvK=q83̐G^TNb.F;e|4q\v+WV! 8oK",cAfM,;+HaYL(m)8E,An~n&, s) 9R՛E`F0 MaS9oOtDח[%ݵ>Pt+ 6e8YE3$X 29*k${F/=P΁]_YJaЕ\cˌd1}",H~#VꏼeCzd&->4U/x3(:wdi1 *P rj*\doOwv(@ɿL}2$^ٜ4WzMY4pL(eN*d06=A^5$${. BzYf~@ۈLS?`5Qa,zkKxLwmNrꂚVn"c?OiPW!NUƷ⯽D`vB4kAC/TQ#eg&xЍbwUsQuؔu/P7}N&Ij7 ?ޝlXO/X;C;6yUejEnr Qѳ9SBxqlB[6ySC$Ud (Y#נp[mqHi$cg˴U:۔`@wqֶLSiHh7뼤XӴ'UxLGޙ[Ywǀ;mW|R.\Jl [`sEiH>W3I])W;is`L 9xC4t"7:] l\!=t+0NG޳#h>5Ay1u02"KCŢFg(,hSe~R-p(XpS䓑f~xW]#9%q}&tTDX@Wc|v}b9 WY wiJ%0@Hmq5uѠifL)Iz;9g6od–e05 I`:(Bx]5fFJ}2SMYbbmD}*#'!F< rȦBd΍;&e&ZH;A 5dgZlgt]a]:\,WC(iYK"u&ag B9awBrù\pw |.gYZ1e3ba38bbe6e9633c82237dee457c82d07a0c335 2878be339df159b721e572d744f380ca4a1cfd7d 2add1ee79a74d52fa6645ea4da6d6f5310186623 2e21dafb5efd63c2d3ec3fe26fc1e19cf547f60e 50e733e7fab467df95b04548c4e2706403c4babe 7da39566f57d69be5537155922594e6955fb6777 a8bcac93bd9d5738ea1dc209af3f5370f4e56195 b0ba63647a071f94b45a11e9724e9c8f49321500 b7050ed146f8ae8507825860a6b53500992f67a7 beebb7f60ec6a9af24e3c8df0c2d02567052f78d e03a5d4ae35ff1388e56f7e2fc2f111895fd6ef3d7fa8d30fbb7c9d01b0a5d1cefdb96c3b547d5e0 e6067cb86581d04d2141f63fe8f84315b3b63295 3f36a11d8c74ccb5219961f66c2ee8539a4707a9