SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_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  E?\<, ]]HOL-Computational_Algebra:threads=6elapsed=32.950cpu=118.036gc=5.528factor=3.587zXZִF! 4g]ŗXf1-q恈aldC>14aUW-+_6}L{{J>5kU7wajQ1jw۾H`w+(ʉ8qܲ`#J-R+z/o5G պTs^U66T{;Z =D~who31Lp*_OO^$?ʴ<X 5ݓ}k",Fg82x-=|?>zc4 :5@9f&ZHN*zCvon飝' ? HOL-Computational_Algebra  a*NyvrMK O]DK罨*dxExw24EkA@OQ"s֬`<]P֠7kx*=g9"x(o& *Ӹ7.Z:.$h_Cb.n0N@jCs^F|7l%)XZ1$3%v*CaQ{Džcx#gDB't`*k5h)yodYd7X7[DuT;n@Bkx̆WYqng_C)%_(G? z2;=/cnD)oZM2@#qYҋ?PM~Ǩ30DJcJGc@&yMskؙ Z-M (B&o#9P B=1\~s2l:~fj1˝N -9y-w̪i7ܩ [QKm_nQ )IAd#@Ž ȼg[ii@Փ(>~<ָkߺ: 9H$ҔY`cW;"7fKPvMklvvSDpGVu^lD41!}gr>5T6'NF$0 Y3w iD gYZ7zXZִF! ]ŗXiɟ1OHݝ_kHh2o?-{JhNTGih9C(~޿U5N . -dѝЬ 1tBk1^UwX @ؼ~u0& \Qƥ#Yw=M@z )qgYZ7zXZִF! O]ŗXi%>@ν9$0Hbr[lwu9ʣ¼6ETG7$p $mKue5Mҥ,>/a;r{]z鮰يhZ|!|wD ;3"Av%/1#fϷa$kHK{وHS ȅ_9z Z|LܯUU' g \ nHA p$a1rM>SB-*ioxm,T? #W06)L|?u$yt7vd2`_tWTr騉lao٘,PtgI 6=c=ڷ-- $/E'YK7DGus($m)rk'%)_l"\d-:yA[NrdQjngMO=@*z]vÁJQؑsڒ[`fs- zɪ(&c'e&+ rT쿄3ЧaNԿa"Gڸ%c~|SB(c8]Q[D#V/A?n쑹Z#-A323siP^$T9Ʃb<\n„ -F~V!a@m}}*S sCy3SI:'h EzNoۿ ʵVB9Dw(9OЛ! qFviLHIν°\\O_t$@QfK Fy>&d[oe&:J4 X_"S@H=@ m.3m~>V$ D#X5KY-3k.X<9Ƹ.-,fgaP +.҃%Jc*_s,Ԙܗx)&$T+T#!(+͇IuK "\#mLx>;*HilO/OcIxł$7ݥwc~_Z&ޏV^`B |γVx)ֈDÀ>lހ~?iF`D)-7;H@!z{dG’*%Z,/hX\ SmVȹ &_@"nR1#FtWH#\ў ~B4q`\ȀCtEJ,RnACD!utv fCD)X7GCAs=Ҹ/(~\'' );eRr]?H\bon4,WP0^_ " V *`;8*Cm(NAVҤpMĞH)p#Q߿<<(a)+F{CUCzfwp5P)g- x€f7arٵћ;_=Edz#b^mƇāfl:"c"ڢ+KFpNX[<]GH3eG@sJbDž)6uPnyW}|4fk130RvPy ՂY2?=`Z[뤃>Y,F̬|[on$( U&>1 N~c8=_Pا!5/t@#eQ@ !H ùc/_-*rDeo45Lo 6uZ$`+;bׁ'[gr̃$<`9Ƅp}Xu&UKp\f\@Q->CoJ\nW#JѬ3Kp߻bԼgYZ501c2dbb7340866d862a99e487c20ca641cdf72104cbdab1f686d7eea03656c087fb6cb51858d69d f912c7c4bd035c878b5878ea5c558fa4f129fd49 9721597f4d8852322e6c1f69e08ef325199d5509d9c8eca962ca90af4ee071303854df758a40dc36