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 # \ d ] Quaternions:threads=4elapsed=21.566cpu=27.232gc=0.848factor=1.267zXZִF! ]ŗXf[&ptO~A`Il +ݯ rsÁ-̈́w$7[ NGxJLo5U`.]R.LЀ,E1 E_L b}YZ7zXZִF! +]ŗXi%GV"EL.AJygAWE"bzts1,[ "˜L2f~ϻ㧅~ߒ#8!yjnGoBq+|1[ީv7+@; (iZ21 Xsux0 gzI-^y6ɴoukI,I[`#fl3RdGĄm%اb%ȍM>꯺ kPf #]:Op#"!0.jĬΪodZ[,tӦFa_] ٝ`dI|ZMp7 sM)vl[6uBN ~62 y_KvdIbUGʘ.wFA %ꦬ=R1ntW Lo֌R\q/ȣ<İܸ?b0ޥb$;ݗC؝ J423 oCPLp)!͂ysm>T&JEy0(9~b.6wFD 8ԡC{bvvd.=+Y)f]葟ŚD0q}t|8\nMHpӼO&MkJCZT~zRo7Z-]޲`Pre$Ix\>{*jG^j/Ga@B6MN;k%A[Kv~&Z-̆ē+;#=+@`vZ(MAn )O[5eI`|*tbyn 8Y #!F:;D} 1dx`<2ܒ']ߨ7彥XHZ{4GzbSp,r>.>kU mL-rb=NvXp#{ G> Wk磥j8Kz5_'B32LBS~6]y۩Y:N»sStZ:ʝ#.۵AH:<1q7呺®FVIYx|,~PT-f'U;U__Βh(k~ۖS)X_p8e%yE՟wt4 Oov{sÖx{( OXR"+2[m_7esq('Δ[DȽAdTn#b-kmC9?0J7Ŗm-o:iwF6B9(MVɂQJ\Gs' pfuc#"((_A@ G0BȚJ4]e ,s`Y7UH6 ^ʬgP<6jm~iȫ<~6+ \bfALZ;] ]{ه)e>E)ʋWjcZkg8}p,NS4ydB>+ &#cBœ.VUˀf@=#;wmgYZ31d8331fa33715c5a3a2249d0b9f4a955c2776b84b4d09c9c1841a4f01c8958af89ec039a11204c4 f852689b23f90c1209b23c794bf5ab75a3b8eaf2 87c046ae46345ec50ded6c0dfb6f720da4345c11 # Quaternions