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 77F# 4 t ] Quaternions:threads=4elapsed=24.559cpu=32.000gc=0.980factor=1.307zXZִF! ]ŗXf[&ptO~A`Il +ݯ rsÁ-̈́w$7z}̉5~`(ƾ%DpVoJz:3ߵ#nP9.M4vD 1 w똡 E_M}YZ7zXZִF! ]ŗXi%Ge'A{M 25!庶5NFnbD/]80-#5%7vר.31o@OE6w|$9좛Q'-H" bǥhHB讞o)ka!N[)ur^f_uj\I);P6 [pwc9)*>\ٻXX$pI'~OmS8ƥ8ʞ/¹FF$z܉]mO~Vڽ'-ghq\?xeUz1V3HO/^CTrYnfh9^-Y rw0I i龶p X2f=_]pfߣg5!E* צT?4=+:oAoNV:W-sij.@7F?w & Z!kEz =~:0,| 3ActzѮ[m!Vҝ;)Wu0}(\N4; oX8U<-?<6`ja Q6B UhSUcᨲ#忻lU,(S)môDUɡM$M[Q`vR_Zީ'|+/{gz {JOerpB-ս+ɧ)%,7.Q ` ܟHCӿS7pZ][w^ ~0pO0 :kVQG6*!W?iU%qF /1a_.glC^<? HM)ejf!|QK(uaK'@ op|;I1ݖM9 ͱ9)b%{e Tݫ!礡ߏEaDeUFA 23' k%ѢR1zkO_T_#Tª ^CwY\w9Fo~3D1h)2dIV~xqm}gŔ9.$P~ZUPJy[Ǫ-AO=kWׁmԴ !2 1+#%%DKaTNJom1*TRل#bs'8/"r]P !ۊE$]Qf};HONFUɩrkk Os>i@Sq^&e6ծCshJ[>FXYSj㗺T7ej@0] 6cXU}w;%o]~KYUm8Y=(4^E$8;NXٰs#W/ޖozRnRP2