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 ]' \D  Ribbon_Proofs:threads=2elapsed=17.478cpu=28.288gc=2.044factor=1.627zXZִF! (]ŗXf1-/6vR[O?< nkh{B6 U43/眕9"nN/I%ER7&ZO@ZD!ϺUR9,9E̴jCe辉Ǫ}<[M~=BV*M޻Ɩm[I"@ChM>az!+㊤Ƒkzmlzb/|-,I=|v`OW\fkQ @hN?N` ܭTףQf!cgYZ7zXZִF! Yk]ŗXi%+mi (̇ |삣ǒ e@[t Rp E;5ʳɹ@a'ڳ7nrk֕}XRkfZ^SJm"=L )"?l^_߲ 9ep ^1dҁf{ <ʲ˥[f\AzN xrZ6n >uA׻AA=e5޲yJZwڍKD!lnT&z),x?~ {L3P\A'RPá~HWwPԊlӢ8kX$l`,.\&~@G%zP?5oV0a 7݁eLؠ#0yU2TIVSxsnqD~j\bP}sb݈˟ jUrsb˶*SQ4z+={6LJ83' g|7M9`I4WukfnP??Y-B 7PHIB*!ܯ 2*2 %O9RhM1 &vszjޥo$ivH^>iҥk%W.27XG^`E[V689D88TQc}J뢐 he 'Ob#=gekCY]J_:g* ˰$b8oSՏ@7"W0h4hN@uf״1Q wUa / 2' Fq;Rxc+-h2d:0k)mAa{XmujғQ}> [^r[ %B#x찥Mځ)@d($qmd&LQNy /ap ^0-In\]_ϲP6j¯ j=(N@ژ i@Ϊ@e+S;Nq~MɁ,9Mviw'9#Mxw6 =b4lH' ۸