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 # , $ ] Quaternions:threads=4elapsed=22.744cpu=30.432gc=0.568factor=1.347zXZִF!  ]ŗXf[&ptO~A`Il F ^G!]ehq5#דX$nq 'ٲKԴ*2}`Л {(H2ޖ`:A.{G 8)k[fvNV;$8v[`s]\N.{'8XVgdl?4 gYZ7zXZִF! LC]ŗXiɟ< =TSцdKeor mG]׺u'.[ݐ@MF}s_M}YZ7zXZִF! | ]ŗXi%B׸ 2D+ި{ü'w\YwV{7*h(T»cb} `Lg(lvwAzwY߫]e AFxIs|θ'$VuʸYoK]>{2ӎ;.x"w4Zą0C8|͓PxQhE2^)΂`/DrÖ]B=0^0 oxLܐZN$ċbb1(/)YeU͝t@1lZ߶*x gx{,Ok{zq2P2sy EFmvB8G֦%e44)_GvsRM̘]? >y{'%.E;8yM/V!H#Aݯt/r%Lq4e }Ouc?hϤ`KJM?ޑP ɣar/E LOw f ๨5 Ј}Wt[*&g Ԧ`ի 9Ñ$hO-Ҧ)\Ķg}vtz~=JmuMAz=g6a>NjޭK 8a%۬ "E3Ib udgx8A2cu0W, SG6I,tm#:7'h,[S׬u$( 7C nQgZ2` Ghmreaֲ(ڧLe ⫁d"Cemn Tpz&uQo=Ғ݌]L0FƜ졳{+{ه%/m !eyJÿ)L!kiߺ O`y\_{YS}TzReBQ~_6>: 8ѽ|yy0 \'ݛ- d4W'<+`L^sDJz@y/ !~l]z 2,A3#n)I/n}Xz8pQJ ˟EI:`.1[&kto|?83Z~z΀y\ݯ'Aɫ 'jվ2[8)]D޺kp %Bso0d*ljbeG(!습^gŒdxxԑXNG= WeT[bL*od'7 ~Q2cO5i-jek'#L'طJֈRkz#蔝&DZm$㓚spCugGvÓ#ɂM=/S̫8TX1 Ka碤q@aO!LtGe׈؁5*d<%J7HIXΫ;1ڂ<[ϙP|%{DOϲmw2_h[A⚿`a:@Uy%R#\ X]MJڨ G4BS|c6^fDúa s.@~ ,r, m{~ˑ=7pUi#dUj}ZcF53ygYZ292793d0cba140bb0b7ca685903b4030303162f0ddbcbc2a51857ae6e2c35d0f0dfda0600638ccc2 0cf10e45680ae439599dd1e4a9dcfc11cbb36022 f2aa8062235ab9b94abd77b45dd8ef43dcd424db # Quaternions