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 =' tl  Ribbon_Proofs:threads=2elapsed=17.756cpu=28.724gc=1.880factor=1.627zXZִF! ]ŗXf1-/6vR[O?< nkh{BR<)0^6\2hogbm‡WA{o+q86q=R~-c%תz)6<'1+KCVI0itt'BV`_hǬĕST"nȚ 8ݗ{OvrouК+xvJeM!;B~%+I^=q7$KejbB`$}7ZA઼xWoҡ~BJ!kޯFc˹׭LŒXTs'x@͚ege`2ex1BxrH!5U fbFujG?̎1EC}?YOhbTʎA+{D}:hc>r?n^Gߧ!_CK#BL,s΃>>v#NK|0\:#+nj34ga v؀#2gYZ7zXZִF! Yl.]ŗXi%6y4"'@y]1+`sȳG}\5 1T !*'f(BÎtbyoEoV:g2NtJJ _A6jIL׽1&*J6z8"^厖$ 'F\~oZV OHo = >=S5V?/NSkB(Tt+C:YNa OcI~T,G ׄ yEHh.xֹ]WLJXT#jFӲ6]?|.$ձ^T[@lL95ՑN flk+&sIGTpŔ7H-0ؼiOtHVd :fh뼃I'MIG{7 ?%7 rKdFW:6NR*B O8;xPD!q-NB/_2ijܝ *QpFk!hR@dhĚe FSQ^- gC7)q줾3p/GDxtFN$0.7*E I'ޗ)s\q2p &i%SlԵS"lgp5|I/C1bcX%PLla5 fѠct35ֿSx1kՅpg(O.|IV.i'7H*|Հ@׆eo,a](M[0{)NjWߔ(,@bÐ lў|=XI]_$&< N)qR rӢbz>BrT+m8T Uh*YЬYʵ9nN tsB±gYZ0d758971f821ca0181401999280b4b5727c2e1d8 2878be339df159b721e572d744f380ca4a1cfd7d 2e21dafb5efd63c2d3ec3fe26fc1e19cf547f60e 50e733e7fab467df95b04548c4e2706403c4babe 7da39566f57d69be5537155922594e6955fb6777 9e6541da0c507c941d71c2bae2c08f3391802c06 a8bcac93bd9d5738ea1dc209af3f5370f4e56195 b0ba63647a071f94b45a11e9724e9c8f49321500 b7050ed146f8ae8507825860a6b53500992f67a7 beebb7f60ec6a9af24e3c8df0c2d02567052f78d f79f8e4bef8636f0d6f2cb367b98fc0b36c311f3554fc66833c1e501a5e5c7ff24471873df0a1f56 d155c2ed07829a15fa84f92865e4197c8a5f1ee1 2b469e38ab065480632e9b5b8f44c208e16cab8a ' Ribbon_Proofs