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  A?|< ]]HOL-Computational_Algebra:threads=6elapsed=32.859cpu=119.720gc=5.868factor=3.647zXZִF! 4v]ŗXf1-q恈aldC>14aUW-+_6}L{{J>5kU7wajQ1jw۾H`w+(C[ci@~(4K0~CF! WGšY$sZXv~t8cUMzTN}i~HgrgwlSj-3. `52}jen?$q =}DP 4asao-5U NYPuH|7tAA\m &_BT'RTPÙyv=S<ń`K: XP5 "Lt3#Zmi6eV''V,ipsV;֣6ծ?79UBb[N(ťaN`dwxÚ4A,2SEeDd9̽ܵe1xp⩿PV!/A޻Pr^率XRAm͘!C &Ü*H1{3(2+b|>j @&Ʋ$+lr~7_ t<8?AqN6CbMta;5~N},O5.2lҳKQ\(LFW h ? HOL-Computational_Algebra  /6Q˙Z9rF 8WYjإC5kB2ZmN մhT JH1#|pƲSuM)me]i1n{Y 7*>6,x 'T-Oo]b%9P=;ފ@ն؄~*7NNmHܾBz6C$޵]̲FH~ςFo_W,К/`ƹp/;dʼ$2a0 x2wqV{C(fuZWoAHy0wp̞zҷ^̪p9p$s0䙘5 6a?cH0梟'*ݲQ@-l4Įl+UKd͘-;;e$;ZuBHML ]\yÕfY>x~M]J-R h/f}2]в6߶1.dyHBTh쏢m8l o5&^ XA`X;s&暋F * k42pX+$? jg6@ߩ:H ?F5S=;*99 i맲gYZ7zXZִF! ]ŗXiɟ1x=&w]6t*G M?Jŀv)MoBzDdrf TlM,})d)zN86sҥ+OPxMvV)ȷ|CE*qC>kArzby/J>[ bw~KZaы䗄!Z4&̎e- D)š\^k gYZ7zXZִF! :]ŗXi%>n=2|G_d b&{*ȟI5@Zs R"%itLdFÅ8ăM}ys89% { ymѮghe4TJƑbaWըT3љ_s~G))ik2[G=b,X !PP͍/Ǣ Xjh^ѵeϣWbka[emF)h4|d tO߽1| 4|mT2u&h)6V/n%=ف(kӒ;Zu=xϥ9̰c}V?1C9b8-}EIm mYDb͔MT*VNa C.KDg;6^"qAtERB w|V`pbHg)`*HԡRJէ7Ԇ~cCe;8B~;͉L|x [ _E26_::U)';g\:h`zQN A Gv~ ،{@K[m੎x5Y*u,X}v tJ滻?# 'C,"[(LUv4ۇ†d?Wހ^лIt`c(LKړmz3>wgb-Ghc66b,~1drU)VѾ&9[,CHCSŶ Ϩ|jAҠ9Ap3HuD#+VFSm#vnaϙK;TWnȁz;6s ^n' f>*~1o{]=kȐ nW{metxU ??spLw2C6&Pջ#%HUl[FRxN3ryEd e3uc&݁&wz˂wyL3K"u(FIUaE:`s?.єX˯'`FʺvTee'ZVE1!Gq8ʟr]tfO9IoQkNoRQz9-Gdq9'&iEl##Y MQP_H Ǩm{O䓖v+Il-cT+qQu:UL;yA {lӗTOk\Q# nO@q >~;*ύw$aH.XfC""c] G2Zgl5R8l–*V8]mgf1~_6sM%Bf~ҴWo0%Y $&Q.@5y:V@>ii([3/H|ϵ:uUJ;@8t7"tU=wrMn^ыX(|V}/ks#l**.0\9l1rdeY