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 6# t  ] Quaternions:threads=4elapsed=22.704cpu=29.136gc=0.904factor=1.287zXZִF! ]ŗXf[&ptO~A`Il +ݯ rsÁ-̈́w$7o/jY=R1=Er`"n31|5l]6Kth'BǤƸi+|-kc,grP :T}tً>^ȩanعY<*= HߺA ,ʌLMБMcr U_"M&t֜Ks93'^ȵi _gYZ7zXZִF! LD]ŗXiɟ< =TSцdKeop KYm,ݒBG}!u'OaMF--+`MM}YZ7zXZִF! C]ŗXi%L 0 V'YX2ȅmFnbDz[ \kI?HfBWߌ`/(0w͕/,H2̕׻>O !'htѢ(JBWlt8_*Ec euz%f=,q4^1@arnINjťWXrybb(1So^q@gXXu̧K~wQ!lS&36Qd|Cvcj ZAmCofpv[4r6x?7UH#ꎛm2O0bVDvI7;EwH *|_7H:@nv! 054PL[SknI8ԵˮI2:TFHvKnOMG ޵B^t@1:I ܡz|סŠdxUKiFU 9CߦcGyqS'C2$7=FיK@n[lȎ=|9Yݨ+㴯0ߛ0Z5sFoitBv&L^(I HMZH'ԝGkٹN~X3U'*꩝bJK>q+( sc\xs!q! ϐp| 1r&1ޥҜJ*߱h&uQKƎN:= ofŤu&l]|_5ФO,hd j,~~["$gn3jJӬt`z$#c_ESͷ %x9gץ 1"kA;R^KR[_9?mn+HYS'gYZdbc99b11f026d1da2ee25f4971a06741297cea0ad3f90704504dab3f9fc94e3d143d1180eb260c4a f6ffa714dac548bd1fa745e8527624877a3ec1f3 5e95046b51ddf5b370aa071080e9fc95a1a715e8 # Quaternions