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  / t| %w Pratt_Certificate:threads=2elapsed=21.256cpu=40.580gc=0.556factor=1.917zXZ / Pratt_CertificateִF! 3]ŗXf1-/6vR[3 4#d{T>9zmR,u QJɘ0@@ [g@a6RACӈgG6ar6߁c[s+t#ݣ8!~S֯M/{$!vJd0ONl)wV]5PЍRe5IS0ue DRkyHNҍkOSQ܆ԛ+?jU[ +2|Wuh[rB (#,}r(~~V;V.^˹:mG^1@.{2C G[aCbJ_lC&i%ӆ䱶폺c6#4DGt,VI6TԐzIw~8Zh,IRqg 4~q;$NS|Ŝro%r)$f+&k{j𔮬7%$ㄒl8hi:I4W~ JWpbmxn5iDN)Z2"aaR4W!V҆'B} Cl:vTieYzJ6pP!GW pUko4,q`Lbx5Cxfȑ9^ 0uKiِ~{Xʹ-\\ 86H#ϟW@&qtBm27I\.ӬGoDBCt!kwY'O'DG]M5 ݹSNR1Ű"U(R#} xxKfe@ɩw }k>d]BHzUMso*n^&ks\[bt2`;#biTbF=ZUWn;lNT}W FlĽî9.֣C^`L_{["Xf&a_4ŠDAJ4A?&%[LNƿ ԯU$8n V7e5f9dgCL_.`3ym4S{<,WX|V &]L$3=pvk"LX[`yAjֵjxqxx|Fm̰pe5Q1pw"w"Ѵq[N }] И;^(-7o{vj$*n}[l D}\"ךw[[s\W0sʸ'e 8f- 8RnڭG#zOh 9%tXH$&&\ZL3tx$\a 1.7͜Zc+|ZeDHH G/KXa%Eio/WDèIp#=bwD%]̭C hTN!G;)Nc&HoAʓiZ;;ivgYSH1{#:*#>s餈q',OGb bR k_%m.tnAH@@ sJʐ͑ȋ ծ!$-$G[%wS%{#4BJ+|YP0ȱzY];27chB˛޿g #c$}~z!21.A# \|Jaoȷ{gfQQhe0p%~ni &LO8y5zto-Xv.$OܘI]ֱRH]\ZՌ-ICIsLذ6\s8{K)(3bt4o L/dDܰu̦l(M߀r ƦZͿp2T6l/9&8 u vO.b-׋J0U,\zâKwt5'o+`HT(XR{)i)foT1t FgYZ2301c1cb824b006fbdb66a4d295f158152cd3b18 853aa6b1c36ade2889faee412707bd981cd70a63 87a3925a58dd8ad2a034b5afb68d50f7e837f0d7 b909f3f92d8540ac3ab691750ee30dccc7d0a6b3 bbb0c9c521fce16dc25d900932ce4bb0387edcdc19db22422d072d942dca4f79a146f700713ec562 0ce727582e1fcdc0d95ceb5a898ac2c38b5af35b 5ea6d4c9a179122eae31fc1e8edfaccb5e6cc241 6a327321e0b399ce697ece376e10d51a4594dd86 3ccde3718cd040b2de290f6d8abcf064ee6ef20a 005802e0f8c2ef1eca16aaa7de327e46316f9b4f