SQLite format 3@ .0:  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "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   t \, ] Octonions:threads=4elapsed=18.132cpu=59.900gc=1.392factor=3.307zXZִF! ]]ŗXf[&/=G`u&+NH[qUD&/]%[pX9^8m "εq[2\u#yH"Sl+mgg۞N}pNW obq5:@MCi:~ĦMwx|pƯm79TT AzX6LKZQ*t({!U<[.*YEI]/8ai}Հ8$+&EG]~tTAcW,8f_?!2ykJ[(J$;^; صRl0)CVV/E@DviEԏQkE3ICԽ" I<(%AraG|\{ G?#(1MSo!^$tJc" p*otTNy]x e'W^a0ᵅ삨uXcs׉,F3p_M6\$H j) &U-^ǀYwЯjyZ:=!/_V-:G9 0ˏnX1ުWfvS^(*ɦ-8/ GT\YW:5Y4W~Y^67&/V(DUx^ 8ejW.5PUfF"WL.#R^ 2|csk䅑Vz$vݧ.\ٵ@"gYZ7zXZִF! z]ŗXi%BSb\^41gP싑Gk,Px "0>3m%"%%m xXݾYь'RR44kbḋ y;<:8vNZ2_Dy)ֶzN5tN!16ߒˎm^m!qkԣ(΋dSJN *'Uemw*%dS`qqY'$)1P= :3@y+o/{OV6 Zs AC9)#W"4*6ubr7WQ"4?6.k'r7@b{RcEf?QR?'b?lDzXsa|#H/g;>/n`f?q{dr[ړ1ku"=]OڇɱZ} U( ZqRO\YM4u )_f,⯥*:,),ء5 4h x .[NHcB\&)qmu턿ZZ&՜ g6Q/kdYO}f؜2;9\{oa!>vx+Bd4腆d{G,J Ԝhp슄z͞RIog_r%`SFw#m6z6F }ڕK"G3>c&W EvVWK}m{m!&`'2 ~/aVKvB7-p{p:OHO$|}§Z)_0@ڿLċ]FoCr2vEMɆkY~eZZ52 xakے.7td*GR޲+1S [yJNv0?sh&yCM㓃-%A&=#6 &έۯ+ޱ*opq}!CV8,+o %]Q{mbRDU$8u;ZdzN2C)+qPEVL, ZsJ/~+# eD՗AB۝^hb\Pdߡ|  ޑ4mN5Y_ h{o=JJ{9FMԱSōbkiKeUg5Tq58UPc$.S64,P,b01&w)Eƥd70\eʭ۱Lm4{J|D({peN;AYϟXS1H$v궍m8_ |Hfrg)JnGhEõ<1s:px],_Ox:Thhd j۸t(]?1R,_&`^Ivo8=`-LE}PGgSMHLgYZbfd6995f451b6cb228ff4d752c19c5ed0e1562baddbcbc2a51857ae6e2c35d0f0dfda0600638ccc2 0cf10e45680ae439599dd1e4a9dcfc11cbb36022 f2aa8062235ab9b94abd77b45dd8ef43dcd424db   Octonions