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 66G7 DT ]w Buchi_Complementation:threads=2elapsed=26.012cpu=51.156gc=2.000factor=1.977zXZִF! ]ŗXf1-/6vRZkĿ>@񥽧^n-IG$휡gH, ^#ޏޔEO-"` Uu X}%fiRuL SHꇎ'_!>ԣ#(Svpj^ Q>$yAmC=^$ ⵘ*#k(Envd w\$m؈Lξј;ʡ RJ4̅τ,phIagjr>_ZrI~ D*3]A:mNwT33%ugy<dP$Vbz Fŧ[AJw>CDR>{To*D>MOj~±}Grvp6ӊfK\ᛑ qa2:;>~Ȧs0ϨJ!)C!ۘj@d18?2#RUsN_uRt??WCWד]g!WZ3wvgo9`t0)xxmp2xʘUn/]ǗX*\2v[5R>d%٩Ye&:f[]6X- |t8M 7f%fG 1~&'rP;"xr7͖7I(2ogEt[k-bOLKIv5,~M)vfHrmE";$8[4+*p6a9g;TbC@Bo0"HRAb*(L),+@O8.-AtF~kH앎Ï ȶW/ꥆ]5{7Tb"?hdR!QBȫO7>~ >B53bPUB} ؏m ?&phsbMz$KhEDLf'4{܄9A(Kf.'RٿdeFtPwXT]y[#Ч˔T< r@Efzx#6H_&]ID }X +)Loҵ'IZ0e6:R2P"8'|N'V3af_8ƀ5c_E&7r_^Xynxݷ7q+=v% Y2:,dh!]YyMg ̬@]`P2l= w0#9~*Fo\֞0;ҹВ>R2@oJ9VBdC~'.u2)mZzoI'IQzx6iHWĩgRЈ1 X=S0Uz : l`$㧎T2h{2RRYNA>4t[u>-)%?їC؀12y} s|wJ,n`\ڶg>_g80%:8GHdyoJˋ;q(TmJH0 ӎeY{?\K;Pna?q=HW-7ZfU k+0bkUIj &Q ܀}pb)\@zQGn oxIRF"ךK .\:S MOWcV7%ٯLZ4D=Y 0Aƅ7?sL/ %ݼ CUv r?Ŭ-_Nz