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  =? 4t ]]HOL-Computational_Algebra:threads=6elapsed=43.977cpu=129.320gc=5.684factor=2.947zXZִF! 3>]ŗXf1-q恈aldC>14aUW-+_6}L{{J>5kU7wajQ1jw۾H`w+(Dg`5Xٖ\@ CzȟiI_sw)k]PΉzTYȵl̶CN^L7ĦQ^6d2Dp e{Jcq,m:.ed~7 MS`I2yZS{)V8VT>q qL*99Ų$wPhPÉ_o'#4[8~+x\)w xl9{ 9='P{зv 4X&K:gw$U74g]H+zz?Iir_-ᡳrbaB{2f Hj-?)y@?ҁtp޼RG1"+M$O֡"ն-5wp( ˍ $C~~Bٷ%76̀닳%w8:^L +e\hjrPƪ[sD`NT A΂.m^X@>:P '>j(_-iOcڎg?t6B(^w8uVT )d%nI ? HOL-Computational_Algebra"zj$T6XNŪ'?n)մ*̕К8荛3ΰ K(~_0[ءm *Assm6?4u^e2TpC"gʾ0@?2Ng vsj;ŤϬ[^r=~4p gPgYZ7zXZִF! ]ŗXiɟ1J @#C;!Uۥ[bq2,Liwڃ^A1 NC Cc Di쥠tA YAm7˒jw=xYV8f9UpxN0.6".ȧK%9V]?[b窱BaixVCzFƄX)󬠐+dM&iڮd1s=\=b:Z20R ?RW#B?b J5D&XX$oyRL8A)tEg\ 89 gYZ7zXZִF! n t]ŗXi%ύȾ^4E~yݷ%ֱe&='/(M#Dֱ/9(_(K}3^=rW} @uu78gK/5K⏥Ƴ?N6x`qLg1s+09) ;gSvLmCv=lq%ŠVyU8}/װpN=Lj Yk [ʂo]juPd'bQKTHFꝸMD6Z-ˆ.t:_edTX6Vnm҈yӱ ЦM/%~e5Sxl1'&΂(B.Z)ϐ3V1b^LPXO]@b9s!=q s} dy!i!(:Wa!&<Kl6L7D<u{孫ع̻AK(M0߷e6ѓnJq22uJ[sG` f󹮼jDeAR\(gyM -P:œ=t|9;N=UM_z_6/$uRHq&}qvyԽNvjϽ;sɋ+\E}Z4Pnp4AD9/-Kb:*.;+MYp ΢7hn܉laN9S.\)?/ݩNKrژqGkDkҞ)4}M@> s JeC 9HX'=7Q@c%ҫJ_"nyN!d])\VCV2O%ۧ~KWQܜ׬Q7k/8J˸⒘:EJI8r*ᢼٔynplǂ*ͮݟJAC;C]${H >24j@`@JzUIYpeJp%3hظ>c 7:/"\]-C A8&z$^7ݏ KZX)Eaž^tAE~O(4S~F7CV$8HGj&"GnT)5ZxkH0ox8ZD֪O=Zi`Q{U7`E|2:]D|^]-h~oa|> W] pR!9$˖Ȥ_`6o`w]9#ӚCȐX 3餳 ^^A2C@It%)ݠg̰&Fˌzc?:=S=Mo@*u%0K/ΗX,n))I{Gw QdK?'0Mq "?hgvCV ov0TTfVX_y_ݼI6g Ѻ0WYuWi۞=SbS9RA"nޯ[piIt(yevKDXjLS)foQ\v?b-مi^}tTsdLZ=fjssJ+)vwBJձYR*sIH<^2WczN؝lGJ'"y#mـ~F묄#\<އi;}D zi(_`zu@%\ӛ< E M5=,ΛK+rY<*דC"K@Am۩r)ҏ“NoJ$R'i Ğ HxيH8PAd9ިlQ9 a'[Ug*1[O۳(;{\d.)2 vKv1