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 QQ, l\< ] Octonions:threads=4elapsed=16.099cpu=56.232gc=1.488factor=3.497zXZִF! N]ŗXf[&/=G`u&+NH[qUD&/]%[g-Se waZ!uTBf~)u &<ר}Щ/E- Q7m& &, dJEeA@63 6N<h"AXr-RJo9b eiG h|74PP@ڝWB imevDtW`UoT n..ͽԗFT Ejҟ^CPOLN~|U7^:]s]rIj-:_YGLhe!5P( _dv fqv м!USzFG7ufOr^Ph9{}BQ ;BYXYd(?ֆ"ӌ" G,=dSS6b{gYZ7zXZִF! g]ŗXiɟ;LLyLDkCh:\OW5G ̓`xw'xL/]6Ӗث5L"dVue EꎮΆ.g8'gYZ7zXZִF! o]ŗXi%G[U[,؁ FGU&/Clw9a$ _Q_ 9L5Hף1R4#;OS1F<0ǟ2΁\ OB[2$DVg D>ISBTmTwwXTcb`rmgj.URKU{d]o >M/dbǷfNKM`D4ٿ1!'9+D'a_W7 |s|9H?b6Ҳy$3ĽܤEZ.S6&dr#*xpҙ)ժ2]oXk fBV}Aqkffb DAN5Y"nti"ۣj>wr吐l9j z_{N_ɶnJͣ e9 =l5Tǿ⯇/I;J_ JzX1Oo9k?E֝T^suQdRⵄѬiYE9&Qf6 Pg4f=8I~0fŦC5~#O#A# <{6zNp$*>0ȧCO3"hg4;aQ0:kנ%|w}{خڊ}oɬJB](W{",^tʢh|}>4YTug̏TE<Ϙ&uuB_݂ s23mx6 "@ C|{-qL K{iY}P}.urɪH8趰ΚL)fb!= B[p&E?4%Np+͆t[_"Tstq`oVgS<ɴČ~c XŸxšW\ďKJ^gsbBa>eFNU irPz61TrZV^g;&cJL GLLerba%Pyn$aS=qP Fv;*ϰD\1QݢHJxz՛"޸2X>:e%OlPhW%xeNFASSo2S?7Oux?B^x8;K8jqxDHG}Dǭڀs`k0ߕVUzvnZ8%H@ |kB.ԒuBDz]IE WkEa#ysZ~6%}sVa'+.+|~]'y"Dh|W^gT-V.hZuE 8MְnND\JN$OO2b@ \|6(n#F>Vuܠ~|R{2ɡE Zj/3X/hw)r$NQic"U{\-2oQ,;sXQ6TzC|HG0;>9NWhu,{ Ix@K 8gnge[qW'm9`3k4_9+@ͫ3IޛVDšU>3VryḻgYZ77edf1a3eeccf81d3d8f61ec9f85f246b53d172478a79cd9fdc2a13431ba56bd0a48c2d53a6a6920 db0b9f381bf5e847e834c0dde3ed15877688cc59 ba61e071f92259a9a38cb4cabe22c57217a8f472   Octonions