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 ee |T ] Octonions:threads=4elapsed=15.485cpu=54.176gc=1.424factor=3.507zXZִF! D]ŗXf[&/=G`u&+NH[qUD&/]%[.+ꠠ[EUNz,UzK͊.tI\]#܇NJa/Ų ݽxĀ jN&m巑ݑolAiwVnX]5E2걚 ?.j۟H1%ґݱ!nt`gi gL<1SsQ(Y_HV zo:1= vǏځs'`P E$#֡OerI=d1AC6+; ͓~ ߷fo$ϾeW7.UFmt&~oJtF"8u$\w8`H0y*!'ToI6d4gYZ7zXZִF! d]ŗXiɟ;LLyLDkCh:\OW5G ͅ$hxV"w0TVW1V4|8VN*ewYZ:G^gj8ZgYZ7zXZִF! l}]ŗXi%GGi Z Q\u>⒄hHW$ <*8MxeW1R eΠ ̃RX67#U'DI-ld$"ZS:K'&;H@bg,Η|ZGETˁGǟoŃ˄Exʘe<`MVvY:(nuxVAN,_r3o kV9 W䂄c "FӪXc}CKgV w'fI4 2EX?=’Qi05_97O$U>`BR*>db]qly1 q,dog쮄o?s#,V6}2atdSo4*NwI:ݥ$~^MxM*q"Ͽ s>b $z|s6Vt.5Fz;f&0;̒b_AsM!+i{hoa$a_#i"vQ3F:P-HS|D_!WRPYudgTm#$+0Ž@IR>jܗ!Jr#M[]Z3Vtb^@I:wI:(̞.:%zXa+ ߂KCaPfm/3NT# PN[iTp^7*(w19SJBo)jNvWF܇hcj'=_@:hh$Ϭtz$߳ht>ԿkQ匁z~pfq4;֞~"tV]; bcl-7n0zh&2ǒ64+#1=>K;y}(E(d(ΥQSGzL>/%wRbCJ0.޵PJsj>L4N & 70}u<&qrT'BEzJd2OM3,"[ƚ'H\4 6bHpp5A"3V"dr96/ 83?}NCԐF"t֢g'~bPx=kYʈӱ1<8<LgF](ƠHE5+j^6 ~MOK-F O)TR(_zFک8ױKG#Ў}S4nیv <_iR!6|rgYZ071fb97cf472d548de474b481b4227844d6b95551795f3a7abed9fc1d9546e3552e224994a90ba84 4907e731bc16daddc205b6b11f8b89eb33f47f6b 605abb464c62516833505a816fca1fe0cc006c6e   Octonions