SQLite format 3@ . YYQ77Atableisabelle_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, "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 e' Dl  Ribbon_Proofs:threads=2elapsed=18.485cpu=29.688gc=2.044factor=1.617zXZִF! ]ŗXf1-/6vR[O?< nkh{BR<)0^6\2iӈYKRޡ\X-hO&ˋ}|r Y[b+ NFV)-L%JT^| g5YP~`} x´`/R3jRGڣli ;1͚4@}fcrНE=o4޾{+ʇZGSߛc*p kz oqnA?m0I)jiftSGBvԗW9bJupƶ3(?et)wWUBv޶mçq~b_j6- j/kwD.8s3P#ϕgCwԯ6#JеCiw/+:&RA /c J3FC0\$c|?3;&,;F {RY"bETC03 Ցr[D\_1W0v-nk֚-7drx' fZ_(q@鳐 &VP4:+6>tuWaQHi&8iƉaSk8(/@^Tؐ9PM:@omaSGif qv 3H-]8/?xpLE] "27\"lQOQ\nߟ"D9C5긷j*fJ j%ZoF*!}gR3| K!, Nتf+><#,ؒ ŏ"ᴱ6" ) ppj(&CwG gzC1OG"*>@߳_h0+2 a-U0$.&{f,Aԓ}JNW8l;V!JD'a" FjO&ka.=N"{nW+Ӓ˴|m[Iłu?ڔ 9 EZ47yJ3@nxhy2B$ 5ݺ6gYZ0d758971f821ca0181401999280b4b5727c2e1d8 1b0bf34b873b4cf0e25f509ce39768c688401886 2878be339df159b721e572d744f380ca4a1cfd7d 2e21dafb5efd63c2d3ec3fe26fc1e19cf547f60e 4e07db99465c5fa25135ed90e710c2d06bc2e6fe 50e733e7fab467df95b04548c4e2706403c4babe 9e6541da0c507c941d71c2bae2c08f3391802c06 a8bcac93bd9d5738ea1dc209af3f5370f4e56195 b0ba63647a071f94b45a11e9724e9c8f49321500 b7050ed146f8ae8507825860a6b53500992f67a7 beebb7f60ec6a9af24e3c8df0c2d02567052f78df0df918d4045ad6c60b23213b65e87e41842eac3 28b0b14cea5cfab8a9e104dea18417239d359f24 98dcc7bead3126f415ef5f6e3e3cd69aeb7477c1 ' Ribbon_Proofs