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  U?lL, ]]HOL-Computational_Algebra:threads=6elapsed=33.898cpu=121.320gc=6.484factor=3.587zXZִF! 3n]ŗXf1-q恈aldC>14aUW-+_6}L{{J>5kU7wajQ1jw۾H`w+(C^<1 ;~5P\3~*GnÍ6ug"xDFޤ$ӌEhQ\L|6ّmɘŀxc%fgd t#vY#Ő Eh!09+RX"-iA8hƖG"|aΰ[xH!>JEǒĔ I`,rLŠ0QO!Q8Ή p.lg8jbA9gAaU3)@j,3i)haCNyb&oSSxe  1PP"{@50`2R~Zi*=T`0 gQbPU,|OT ߋ%>Nf9<Ҕ*LTJ4hR k_)8KAIaI}n>n`x$\ʆN=)wٝ[%XjaNe,%U{E-3We]qCD0)yɣlmT^@lO|di[l V 6'{N0뽐Hs ]*;Et/VB!Tv^sr?:w[/U}Y O4J6Xa4ZT7[f ? HOL-Computational_Algebra  OfqKmX i̅(“r k V>5>iO.Z%kקu SAdǯ [8AQgW$UŚ:Tm2 '*xb*DŪhKb3nJ!CDf3ͮR y`Ҋeݖ.*dwT[>O|"D tG/) GOL5*3z K:=5tchZl"RVcՀN|߱Ȗ[A+v"2"ݪmȍUqA/?BLPךz 2YNI4/qH%V۫CIjzGLʣT48+xko(rRz]s U#B7*NYKӘ݋3|UC (-p.|{R ܕ8=b %B1ˣN q{*4gU76e]HhDQ9(*6MAtdBW5G[biꚏѦ2K gdgYZ7zXZִF! ]ŗXiɟ1\ugԴo>"L5{FDz+'2:xl.rL|o5)3Ix Ol A]m%%X&3ma "I0MyV,eH7d ۏ̯k#03LjP _d0 |x~gYZ7zXZִF! N]ŗXi%>d6:˿xL`O,?7u=tK:Indl҄>F u| ۀU'@c-^k#xdue0ا2Iwρ*"i~k/3K ԡ5߰:Nn 6<RU7i2To%Oq.VC yƷk0f+A,&J^381 [DPYp fZrj_.Us8y1:.f7 /̀*d4CX&:'F_D/]$Mbp[W(L{E5n6|ԩq*T_ '\3M%G5I91 ?!N`Yu|U9{,THۭxRΪmF @-R [r_u.d]^bVM <3:=l0U+C㓁|iDm(~rɂv}a.CSm, yrJo ˛"^_WK8W8 oAT 8+@&8h n" o`fjfM}1|SWi!&(tcl &j\&`"xFC.@>؍ֈ rיXhgMՍϹD\ Z IBJo3>,jak\¼W eW(YӘWgкgs ؅!e7uX^2_+;Ef.x;0z+NmEedS8+HHJB<#FquB#W]qم^w(ILq8o{бꡫɹ H`]>p7"!~U?:L.veblo6Dl>C?#ViJn w묠f[!ޯZ(/];Q!-]ѓn,=bev=$76_7b|wac?rz̪o =mOL'2b`؈nuΠ1ӰW8- W@"@$O|gQrwN/]< \28EYa =G1wQGvߚr/X~'[z\mҎ3yY&DNg^my-|<*w'O:Ws )sP_^1us [(i'ꛔ۵jjH5q$ɛW"i?8s.L.*p$/}C f#C6LdqD=%1QxQ3pA`^`=k#v=