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 //N# 4  ] Quaternions:threads=4elapsed=21.202cpu=28.860gc=0.484factor=1.367zXZִF! F]ŗXf[&ptO~A`Il F ^G!]ehq5#ד"JfAgJ.!^Ts<( JubD Գg8+H~^(,:B+ I+ucL\"A{jc8_>J%:~P9T/ˆԘ|QPVY7@25aٱ2DͲ8R0,04l5 %j1`7&pp@FD_|Ǖh_yFɘTAYeTB'%, xgYZ7zXZִF! LC]ŗXiɟ< =TSцdKeorj:An~BU}r`Plў_M}YZ7zXZִF! ]ŗXi%B۾2;3Gք= (ֱ6\w9aMpD;`N}b@ {jXefB"c&$T*)D.'fUg/ԿvRs8N&#5r;y1r"#Dė{Abdm7NGR;z;$\#\>(JojjG5Cy ɇ 'nw%rS~Uou-(cGir*wxVժam(S#s`s7x(5q{TIN@;# eXt3H%'v/Go=Xxjm4-<糽&xht ܾb 8}2zZj&Rj3вy@žI\*jUqJ\OA+e0,R"N fo-Ҧ[!e3Cz='k;[,9VHs"aKAwwlSv/rP;IY$`umbW.]acv$[wQG0ƹ:snȽ%q0Ś5x+֩+^gգ^N#VQWba\AS0 ;y5;]; y7zGY}}KS9dT69ChyVrKG%/6,@FUiG e`5Q4õJD[e{*1]N4ښׯr?5Q]K}emAݔL8 ?!K٘%ksDH&>9߀گYX1߻p%飠C Îf1# X3S΀S驀-gmOwj[@ڐu3i' x\ {)p{E.FXNp޷ 7=KxI&0HZڪ(-}&K>b$ )ǢW mQ3$=B+T jjx&:1w\kЙ 9Ć0(`)5!yRY،&ѱ겹҄qL FCұgYZ63bb2f4ad70c11f5dbcb9c79f0fd1dca683af44c76b019a50eeda51c4b74870607c55fbf00aca327 877f746cbbdb3ee6d67adfa0ff386a8af3e6f35f 2ba2648cd2e9eefa4e482a87a5d42b21c90574a9 # Quaternions