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 {{# 4 l ] Quaternions:threads=4elapsed=22.532cpu=29.700gc=0.928factor=1.327zXZִF! ]ŗXf[&ptO~A`Il +ݯ rsÁ-̈́w$7o.>tiz*ȅ-6_LJ0(29qTXY$i$Cߎ׊ψZH$ oY3r0д$&#ɖDy:Y狕2UYJLy?_4*]k7b}i"P[ m12G@/OńҢC[XfP/ 1FF-@40q4EzUdD3< 7UgYZ7zXZִF! LC]ŗXiɟ< =TSцdKeop^2)L@rސ˵}҂P8uE@ ta7z^_M}YZ7zXZִF! m]ŗXi%L Va(3)*BfClsNrCiDXB%֯󓳜jn#6}=Q5,Tgh%qG'ab0`EYLrni{gGE=mb>3Vtq#h** W\$Ap-d06퍞b]hRaAwMw'Fk0@AU##1y,=U^qc(-X$'8mbhfJi#xMWw ҁ).tm*֕szf]"#aeI  .תk2[k>4w &ys #;zL-}r~a:uPwd*>{ s̾0㮮~)˧Ě yX,Vcc :<R $*N1>#.SHŤ(z=m#hr 8e1fR?*P:NX L+KL%nGK7@+ׯ-ٽWMuEt;+;jL@˘qiReqT4g.MtM0V_F`v#e3ߦ1D@6[]hVC.sNVS\K%Frak B7/ '.m'?P4$6@zթcqҶ=榆mx #TɘK!P䅛,o y*hȤ(JEU雛Gkkt~qi~a4=u.W"WqB0=7BS 5[{P}>X0OExMq}C}<FUiXDa|qu؊'|7+L9KxQ|M𧸋2NwY{,C>=Ȇ܀b*U1R eAZ@m_`QFDc 4 f^3e!&ﹷ1f0ȎMHF!i o6,E;:ge-G_NUQfF袮1Xh.pgUMBE/ֲOEFYEKĊ[Z60gp@ca<0A~zm͊1!!2m"MnZ <ߵg/$)Rⴝg\@uWXL ⡆e_nD9;kZBѬ&U7*y|TOjAoVgYZdc8f69f0558fc9d07b04aeb2857b62fb4ffeb9b9d3f90704504dab3f9fc94e3d143d1180eb260c4a 27638859d3581338a14773da3f5cd45c4e2a6773 3452b5903839b521e8a25186df281ed84043d834 # Quaternions