SQLite format 3@ - llB77#tableisabelle_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, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info ,' 4  Ribbon_Proofs:threads=2elapsed=15.781cpu=29.780gc=2.056factor=1.897zXZִF! M]ŗXf1-/6vR[O?< nkh{Ab_u7sm`ҚHaCO~RVNJxV6v>)_=GKIUJMAeBl~<~?O7]FhEXC2{Y@& VT@ZP_EK"dwˉk<-||lF?AT bNɸܦX?(8(+Mcd)jc-вLjzZkOb-O(P-dG)pI/6D ·O$]MZR,%ҐII9@ OYZ ڿBV[/ф9&_ .uf!t O<Ⱥ-,0åEv\M>XGht@Mr7}z ' Ribbon_ProofsP}S^bNkK[erŀEN<#srE ٬ 0JtYY{*\̠p]3 3yv/̇W:f,JtDt.ykX0vVZ2^ܳ4'T>FG`ÎTJ)Ku[W<ZYNF.jP*fxl+~1I{sb+ d?d(- S.&̝A9ĞӮHTIr>5n*dkcΔhSZ)v0\%')"O='Ǿ23_{j~Z<kl+3{Q(I*V^@p\l!X$ojZۓ46ӡ+/e;?G]v͹aB1M;@RQIS։cyƑ?kڵX1@&*qGp.TVu@-c- 7YkIۈOS8y0yaJ_aJBNSG\o} g`jm);_2xY.֎ٵA; %qX%2tħ/mKXI7TQ~X=u'l Hmi;OQn\tCrg4<@FY%1懋ÊiNfy0*@3?Ғ:t0_K0MHqB-J8SQZ hA*)`*xɭU4%$%P| ѕ)foȖ<*Yo<ac<Csb(dfľY03l1sYAn *-9hkJ8bsk8P J>ာַ^"G Փ^(3f_\½l<ϝ;mOu,mjb7 G8[օQ'@3"U2x$OPS*nʺ7|?4 jUgYZ7zXZִF! RV]ŗXi%:2mE ˲Gʷ4od~5f,e(W@V;c _^/eI"З={#Rd"@e 5&d4;ǼSnڏ>Yy$. ZAy9s`ٍ>X[11ŹE}L3[S(TYLF+}y2]VBFxKV;2y}H=~=*@9m`FT`- ]$<^O( 1UV쎙^53cJVɡt:)ZsӅ?ӇΎɠ.7靛/ؑwHSRn; SZ.I])M{1)Jc-euΗ~jII"m LT}WW i?@^/ G?/dq)p%>IȄӑRWH] =l1tMS.4TP*3`!Lh6OҹĽD^`]J ]N/ [ V6pS\jX3A*݊A<4xZ׭p)u` FNiPY(ũL)7 OY9.m3'HVR,|W\p41޸s' zȧS{つ`r4V$ef]$aVۧL=  Ų Z{R$_wO1|NFILfU&ilr-w vcf<12QS פ_gYZ1e3ba38bbe6e9633c82237dee457c82d07a0c335 2878be339df159b721e572d744f380ca4a1cfd7d 2e21dafb5efd63c2d3ec3fe26fc1e19cf547f60e 4ef05d6848f9f2c6370b545dd517fdcc09ba0d1b 50e733e7fab467df95b04548c4e2706403c4babe 7da39566f57d69be5537155922594e6955fb6777 a8bcac93bd9d5738ea1dc209af3f5370f4e56195 b0ba63647a071f94b45a11e9724e9c8f49321500 b7050ed146f8ae8507825860a6b53500992f67a7 beebb7f60ec6a9af24e3c8df0c2d02567052f78d e03a5d4ae35ff1388e56f7e2fc2f111895fd6ef3878527395436048d51bd6287a500d1cb05dc0aeb b7f78dc5556061cc8d808a0347899300b2842457 74347d6b35213cade348daff365b338f4a554a12