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  | |7,, ]/ Gauss-Jordan-Elim-Fun:threads=4elapsed=2.222cpu=5.796gc=0.088factor=2.617zXZִF! ]ŗXf[&BWDmTMPr9$Вk)JYhfpI)JɦԱTd[jx$ŢK{}6/ S}Jz&r'םS6,]y;}ċKʴ& mPhSG{·?ȟ!7u5=e-$'Vc^C9 bGgYZ7zXZִF! _Q]ŗXiɟPߋSꇮ&StaF X_d_0V{n(84H.Bi`^lXuSz*Ša7m`g}YZ7zXZִF! p]ŗXi%GV ZP(TإfɱUy;2 ]O*S~-8k,#|3k#IҔٱ w[Yl=0Ev,?${ؤ}в/o?6@,{uagmmJF˱`|G`4,ĵDf{܁Vܥ =mzs|-Tzܼo'vY|:{/67ݱ<Ԟ74!C$rn .:̹#/qB-xO%T倰=S< 5X ~Ob첎Z0# B;&lg9gO]~Nh.X+Hsۆh/^`/+`$V?DEhŦ '_geWT {5.݇8\4w5.wE^PWN/adDO7Fx"7g@WWNafu11[vLjO];Lb(A9^a RX S= !O 4}0'~3#,Jqx%DF|,X [bElP14/RLM}F/ՐiBƔG*5կ xΣryk/=Cqh5$̍ӽ<}v3ly_Ȓ<bygYZ460eabf78e6430a87698eb5fa0e8daa7a12e864a4b4d09c9c1841a4f01c8958af89ec039a11204c4 f852689b23f90c1209b23c794bf5ab75a3b8eaf2 7 Gauss-Jordan-Elim-Fun