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  i7,t ]/ Gauss-Jordan-Elim-Fun:threads=4elapsed=1.956cpu=5.084gc=0.044factor=2.607zXZִF! ]ŗXf[&BWDmTMPr9$Вk)JYhfpI)JɦԱTd[jx$ŢK{}|27)Y0Ž) -;J/n*GVL%~!va bӇ eOǖ|䦀šLG7Qi)ס` (u8嚣*[JGKP ^ʱgYZ7zXZִF! _Q]ŗXiɟPߋSꇮ&StaF X_d_0V{n(84E\ Gt= ݶm`g}YZ7zXZִF! d]ŗXi%ES3ؽ/8(6)F}ir+I!On X ^\ 5 czgNl@4n{ϑ0G7Z.2Btm3HHHnekBoЂ//̽ϮzW%`30^:֠>Vdm,ɦoBe/IrJ͇BISId`y#Thu|n62!j%;r+@vS\je8iDiQ +նP)g]jCsNe17@W1*32K| Z<=]i~D۶RHt,|\$p9` 5i&.Q;|1 GDbDnNa ĉr@#_q~DK5K ^^ٝʌCMֶofEw:.clB-ܦdaVvp+XZЮP)IyK8{o?QjW7º=j1hγyFZVM!=BT"^XM>S̫> [aخ?wFsްagu2.JFU!Vc(dXoIX+!9mA{kmT|]vIiyZyl<9jgYZ951a2f64dc118ca64a69ad5caa14367f7009afbd76b019a50eeda51c4b74870607c55fbf00aca327 dd820facb07e73b2c93e51e4d0b3041a08b59568 7 Gauss-Jordan-Elim-Fun