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'   Ribbon_Proofs:threads=2elapsed=16.272cpu=28.132gc=1.896factor=1.737zXZִF! I]ŗXf1-/6vR[O?< nkh{B6 U43/眕9"nN/I%ER7E`9lꜥ/\"<фvkL06̶FR1q9G8dx O?8c7S%@GuS~J 'wA͢+!RIm4y#HGV +WރU)[ nh־w߁ɌvK05ov T<K X @[5>!Iz&g9DZ0e%j /LhSVVTm[M1&E@PP L[\*c˲iŽ)XcDxzlQZyZT8̸&fԛ1߼?(kyUB_U3ދ YRor~* Ia!D^v7ޑ sWLԁV;D ~mDuYVԁ``Kb'YNXE)Ag.bBBO5.mT-.F'(kȴա":{Zm" MjtfS; Pʨ8 ƱAs^"L4"d77x*€+yz+h<\ 茘Q >ؼj'8Li&K TTĤ)dM$ nB^_v 0oQOUU{֞:^ 2̱DJ10 w[Vƒa ZtDEʼMLL )JHss%e i*$W#}qi3~DYITjR ʛcSyL VuBʑUJ)sh3=b NgYZ7zXZִF! W]ŗXi%s Zl2S𘔨%4zGDU7.'5gX&yR9xpU%y(v9>m[OW8Vfv̛X&q3sg%v\shm Ҏmw+)[b =d0qIZj}C7`s9g&791qG U+נaC !bp:!v7 ;ߏ@ ҇R­!T}+3XD PXutCun->S(uwV շgTVդ za?_.`y٬ʲ3*򘎦'4FU爲+2μ3AwvG9&(c45IVط]Sd1EzSpJ2z:F< =\_FHxQwc_Y Ab<^m0toܕ L)L(%bJ\^+ "@QT#On|!NJן_A},Gӂuc$2N[`=y3xBiՄڧ(è}y!晵3D{GaɈ(;E Ď;1',VȪW"y,?nyFZh=8 im Zh`ZsWbUZEblvNBvBgHqqF(`#/See la2]d.J~@ Vg{qWB%CO)l]q3aQH@=CG'D 'A׋3r H'w[g\#c]a- 7h_Y3Qvfg G QHsgX]sh܌ ed(M Bfv LEvO{jK[5s(>shZka~YǷ[Lߪ-WHUթ~L[Dfcv^fy  ʱgYZ1e3ba38bbe6e9633c82237dee457c82d07a0c335 2878be339df159b721e572d744f380ca4a1cfd7d 2e21dafb5efd63c2d3ec3fe26fc1e19cf547f60e 50e733e7fab467df95b04548c4e2706403c4babe 599803c6648073a6099ca0a685703b8f0284ddde 7da39566f57d69be5537155922594e6955fb6777 a8bcac93bd9d5738ea1dc209af3f5370f4e56195 b0ba63647a071f94b45a11e9724e9c8f49321500 b7050ed146f8ae8507825860a6b53500992f67a7 beebb7f60ec6a9af24e3c8df0c2d02567052f78d e03a5d4ae35ff1388e56f7e2fc2f111895fd6ef39711977f48cd7397b3b03ce4fb09271962469dfd 76cc7bc16bacff3c41d173310297a26a15be33c9 0b0f6ffbe0f4770f3b2c25543ff441b61f7ff567 ' Ribbon_Proofs