SQLite format 3@ . BBh77otableisabelle_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 ))T' \l ] Ribbon_Proofs:threads=2elapsed=17.537cpu=27.848gc=1.868factor=1.597zXZִF! ]ŗXf1-/6vR[O?< nkh{cM㩠nٲVRgXL+LYd5qi`XPzU(t* lA Ȉd®ReBv 핃s,=Rٛ$0WoRDt"};繃KLW Xt5`B`O{{&J8Q/DGy*)$ܾL7od"SSGKe殖 |i.6Z6-?/ނV(K7FJV45`j\擃 /nJAEVgm֜߆᷌s*P1&Q~8~b(8O}@2k_8w`ѤAK<:B o# X9!y!4KWZP%5|!,BEgYZ7zXZִF! ]ŗXiɟpxCI8-d*8 3n|[QJhumL4OL#`42\Itb6fgYZ7zXZִF! `n]ŗXi%92I_B7܊3]΋԰G~.#2\)h[Wetta&фC5lض$Acaٹ/-"n]x"C)BZw#.;G~jXDĸmR+J$?vxDO%}v Pe QWCs dfy-Z zQJ} ['fsVf߼Q@ʼn4OOgrt"bڕu8pl\ JHn & BƑ]@n@#AsI^@ԾZl vu cg?x'z)9[Af>eucimfN$,QȰ6ޚ0>¯\)Ā}kwə$PBk>]7#d>*vz1Z:^y-Є$JI  \=n?ԗet-  v> J8$X*5=H}IV09YAۑZAPOz&46;9*@ZhҙWxVڰ0WLa,];1+ Sk-ÉءT\WkUҾ#D͕ Íb43L|Z#gtC4WH c^uS RG8b:z{B6$ccDGu}ZRLZ D7`e8[`8ͨX]Y:oD(o)/U gYZ7ce66a3735c364629a571b3e7b0e2992950dd99fbc695fdee8824a798a8d382701fae26c53fc4747 5f7f982d9d8d0282fbc15cbadf4b07b06a8c8d77 2d6e38d83c3e90a100dde7fed1e4308f472211d2 ' Ribbon_Proofs