SQLite format 3@ .;  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 UU( 4dd ] Octonions:threads=4elapsed=16.396cpu=57.012gc=1.580factor=3.487zXZִF! ]ŗXf[&/=G`u&+NH[qUD&/]%[.+ꠠ[E%LrbRX“}] 28C 3!'\8HnPy`#10$Zp쵦*-d]+>܀{/qrBz2j4w|0$Zxf\K!8G*N{R5d*>2Ȗz gl*Rv\ /ٍA/ +ÅjA#An Hr[Һtv}IU[2+FhyL,a>O)*3BIr"^2 ˕5;&_e 3MUgC?9R rRTxu!lX-%,Ha$ЊoS$!J2~/oY OC--8 7a!Qrk:Y.f"Ob7e!"s1oڶ\{ǞgY1_qItrlI.Pr<,.p*ω&۫a~s1XotK4P\6O`f`dPń*uO { dX}~Ae ]AҪkºpUqElp sNu,%ɮwuԻ}Qڨw:e-tF.|NycRja_kpe~+, іzZ]1漤SϜ§+K05}fiIyEo#˵lw<B%ynm4-o%w1bBM'"Y#wߧje4̗x'l_S!1aEA@ { kc]W''0L5,hrW xT%#?2 FѪF1ܫ]zJt{2{m3O~=D-.=t*ӵ\mE]<[d@ g'!_jYPM.XO?ZQ#Xά ]R> 9cyIXAG/2>̩qAcPM !~>-%Kg+ztF|Tz(|J4c'nküi5!ٴFB3o;K$h"OIT;E?N^o'7GL8רFh 0WV"b,(cɩ8)OX9 xo  zn^oӣ\!U1.T ˆ ؂ J#3AMO=೦q8@h~ƿ(69ou竴S9|+QPv,2ZAc1 ˃ E+#dDۛ ~٠Pro޸LPuʩ UY{1#vs,h|GWmjC {t5y=k-l"a.]Xdp+3^I+,^vdn鷿4/lEڻaj 6xeoX>F?B(Łٸz^Vڕ I)pB- ]䶐ǎ1['AoWPDD$}GIK0vv4QdDIh+1#wtK\:} a (E`~,8 Fݛv c B[SPJ?ß+ot+oZ}:@ұiٞ-65%-z쀭lVsJ Hմ>DGȴ4?YL)u1Z.iNOt mH׻ct,Q74{yʹTѺG:O]8k7,?%g!Q4щnb|6CayM`암IUhȚn\7z|uDKH.ɨ>l OSq;+Yj+TDggul%ʅRwfͲ-aP1p;H œcJ&c8`dBS6V^?,rKg3 hތnjk2\`Ll /0rcY{yK,Dx'?[0tz9o6"31o鋺gb!&XP!pPPB_΋PE)rx#-៑BM@ـ^ ktΧsxi}xv7;VvQij;q@i*sBBG+^а9sOǓC}ɫ0M-hAT (ኝDk`xePDKp J v !҃ko&U!p!a}YC?OX<1qJAMV5d8fM~/gYZf98b5e37c38ea3b682a2544cdb3ba98eeb70bf2ed3f90704504dab3f9fc94e3d143d1180eb260c4a 05a03eacc3059078cac786ce4b0187a596b54f20 8216edab7dd1042815b7493278d1dd8ece407a70   Octonions