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 #|D ]w Knot_Theory:threads=8elapsed=29.620cpu=171.006gc=7.645factor=5.777zXZִF! D]ŗXf1-q恈aldC>14aUVe*@7Fl 4˗O(p$_J3A0ݭrjDƴ4]X߭7S)V5ʼn4ۦ\\!dYt.ԿVM(u3*< |cGgW: &q~mWvFKLIqAU y@ywQuC [NY;@gX};S* 뎰2RCwf_5=Ҙo}$M;T yyOx@o̩ۿ6خ:h.5>q°'bdY.(W[܃Lb{ė=(_zAɆ׆Z6dsc91ideˏjLW(d^wTU%NjO9;ˀ (i=792`pD%p`e[B B3`QHQQh!kIקhύךb$?N=}#N%M;fWknS)e+Ȇ 3~R+ …&T+ C,U-S=q 2fиo@YtTύs?wa۸Փ!~b[{`vw.π#<%\x;<**;Ö%!2M/pLoUi5t?\wĮ2DCOlr䮉jjr|LzjX0eZx+kd]GtXkHDB/ô87!јr`!|D)hҽwB){G8 DpѶ0` ץ ΖZ"m-KK mݦcW=6.-|( &+A۞1,1ș\Aj-ET@0 #c/JqUut1klf_UwHڢL#ה˰1qQBtiΙ"uYaT}+ƨcRcq6-li{'b4CT™-]oB}+"躊XP |(q4iv#gΛPA[ļުVAYL.PEPrfJG<`X=˂Qs.ɻ;CY#Q<'jiEV8_>sW2Xd=!j@:7D*kԩqήiF@Aa SM7ý]y=.tCi/ RImJK\{a!`ZgOOqUC:\Fv Z" ;Z9m4t ڸrM gYZ7zXZִF! \]ŗXi%>t{*)fQÁЍ^m犞['unTᐝz\x*Ɓ2Z;o]RxkcӚ\MR١hSF  *4'́?A# wL5ć6u}&_nQpEDjJyN%F4%Eo! %Srˣ1FOu+:{C"2Af N˝~f xy;zBq^EG}F[Zu$DD.y8|mJ0>4㼽B,Qy W9{.ŜTqJo3<}zU5)q! "q %<|3_?`u hITGn2/j)y$q0U_>8JIllf7͟ "!mх &,*vc:Gk*K{M5P4MaߩW_ءw@|Y#zU԰rS$㑛3 lQFu:xo~ZQr|+NN#\=2Onh),m5m|&E=D8#I|Dxvp][T4*/TscXwWS ;$r>^c@r[g:]UnG ^52^LvvvBFKnP88,WA烰d!m˪ܚvkRA`SJe>4h`Fa&b=DY:͜n)WW*FgDM4"zSo샄ԻCȀ_ 5}6ag˦ W@7 KsK"<;Y`Hjd:V_>Ouπ.7lw OwOGPV< S`DXK(즳,3LX!tCJQptB߃L#Ҡqr684 ^eW@*pymY{+odqᰈV\Qh&g9Qvx;@/Ƚ% 3 괨B>4pR*]~ewoooyw\ơL6:%E[r$\(c-TYKo% 2pFRh*/p3._j<<dڔ>zuZZAURe۴}>Lڸp=櫖?z eYj9 @+XҞha ?<&w*=c O~M =b=#'â0n9Sny}ͭ?] Jk`^Uܫ,9G#(NJ#p1?2⫡j=PA-o埞iAfQsOҝ4]oqى8tR{ڱ^j|)Cye 'UUF}l#/nfC$ *2TO!ѦLP:.] sbQ'|]tdmn@\Z" ,41DM#cRKi48}ЌKUֳHs>7I@SK!$h5VI=׆Sh8?PI=?U.^-Js#.r#fi"q hu%V 8eGa"U8(9[.V,H˗$,ˍ5N|Z#Ѿ x~'*=Jj;ФEXZvsEKe@Sɜǝhp)Pn_P֜ېݐ[1Ø7#Yɐ[$wZB0S"]?gLyp,UyJyLd ' hG;+Jz/Y-i&\W8PgJAT(8hpvIgD0<\ 0wdyEe'WFEMa5e|-Q; .^cډ]a_ b.)ǜu|Nu<>7Wj¦ gg,:銽v VzғzHHiU9[j0jw(?jE ^ ZXRM_fwVv} 'oɵ) LIr/N.p:_i4mȋ2X{8aJ J'. ɂ1r x(]d3 Bw4>z{!650;~O6C2Ta9XG[mv%/|1@<5 λ(!aۃ{@ը=LGԉBcS[uHbq?f_-ܼN\u|:_eSw3 w[t1S!;ђ]=H/B)&*cpd&Hl+,GAHT)2u vzHß<9WHk[D!Z=Óũ\kN/2` 8;%Y"nM:Ym<;~hYJE趠585__ IV*e h;SA92[AcCt h7C1+x0UMtbȹ^7˂7(il!wۂolPWA fI|>Ōe֙qAb)Z;$ 1?{(nt#vFN;<_ʁy4z"?QcW'"ui}&L G/ac '+Gyş8M ;&-l=SōV2 є$DiwǒJ Y6?IjC