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?4LD ]]HOL-Computational_Algebra:threads=6elapsed=35.379cpu=121.696gc=6.640factor=3.447zXZִF! 9]ŗXf1-q恈aldC>14aUW-+_6}L{{J>5kU7wajQ1jw۾H`w+(ANOĤ{ty6V~,i0܃۪jʟG6Jǁ@2]rőBAjprmqfgTmY**?›;_ cw2f\8Ko58:vޅKHR\ч)Ūxm[(:vf"<*^D6nk:TCWϾtN 3ScG Ǟ:/h_g:cr,=$kqLNC$Ŀ ]՞d夁̱N 0X )[Ɏ+; BǸyѯFut>}?]؍Pjz}SMOy})N傒,E ^YSܱg3xe * OֈV`gk.cȩӔCÓg­S:k {.9)3AƑI0B{ ;_NeAγSZS66+,"%b$r=8JIǺð m𳻮lɳU- ojAzl_1̷y 7R IwT B_Ӱwߡ I@Iu!^DZڙr 8mw.Hoka0ឍHaM2ak5.}ڐWvkӨe2W,xڷڌ!X^**G=TT*` Q@nSǩ?5ޯFB,!|}$xu_r߸ =j&/PཤOBU/:N'AIL)IoZ0ڐJ(={ ,+H.A.cfp" ? HOL-Computational_Algebra  @ʐK1_pkRcz1qo!T}P52̱FOsBv"۸= `tn=TǨ;]0:OPq&S\SO.wl%q`5z(pR}IvchFNVlNd#uG+V :44ƌ`<&te)|6 q)R;l<lu|A<},h[?u i sڤFgYZ7zXZִF! ]ŗXiɟ1 Ɣ(g܁8WE Ӥ7J(lr!;D5XS^Ucgt_){I!}Voj3GVdUe9.eVe}Q}-q65°)gɡv,¸\"l9nhqgA3KĩH 2tM<ڞcx;qrzN,q% 8+Y1&YAhFx9ݙ|lFG6$v+(p*@UOs&a$,;D`{,ׄ.H|?I 29S fّJR :%{6,i"DB@ǣx §'(b< 7mp9~r(8cr"\sBM 8v!4>_ S[9FHOt˶qA+#bފnĄ`zW<1`^1SXf!zcwRԠY!5Kb?-q(߻†hImcTG OWcPήY͡SF&r`p8 &-gHRj1r9~6OR9qM B0UbV[ܹ@wߍlL&]CgXY\PZfӏ]fl*1[ RI˙v' /^j5WruycM,k@7^:}u+3t_jBi vUse= emb8R{UY8d6Vųv2{&G LD^vx7P}PIhM“D1 Ucg+ kahէxu+Vgya71@zU#lbȅY-om:_6[/x?C9mzV7$q`SWVfE1фaVScqluw 5$Ոc3ReSfb%X1O.z.J& ^s&GQLtN|$)uZue)}Ě钊ZNI~N3g3[-z5cENgĺrb04E 4|hh1DfPN9 ׿xcB: { L.ǎ?)Q2އʞ'H-7sEqUZ^>@ !&#?}"\D[l_\@2\sFi;g@]c$'wrq>LmLQBH>Sܭ`26MXiG~}!m1%>:ĩ]H*cWpf_ם6EkS92W7iT*~y=4/NRxBO' B<  |ܲ=i^IC<,{90'WϜ _^˾Rv/GZS,gh9^SV<_HtOҋj~ Bepz)ʠ`+#Q/#e^]S;V[,SI_ey63SQ4dl/@f[׾,4sdHMy͘\X*}܎ueB{ `5멣t)TO-@o GJ#".gYZ3dcd70d97e242423b653daeb38f03706ad74d5b833566f3cddb263229cca6b46057522afa84933ef bb7ec89f1f64990bcc746653a2c829e6a81d9bf2 9f96cfea966aa19fa07f5a219d81239473d5d2f3ba31a12f9c64226a89fb472bf575d556a312e021