SQLite format 3@ - llB77#tableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "ml_statistics" BLOB, "task_statistics" 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 xx}7dT / Gauss-Jordan-Elim-Fun:threads=2elapsed=2.911cpu=5.392gc=0.072factor=1.857zXZִF! ]ŗXf1-/6vRZVݓ_e*E;.`ub1!ڏ/3} q6\D|zhluHJc p:|MA|+!t4C, >wf4yi 4H5nc m) {d_ZB@MQ~8jBdG?٬ U+}5 oÃ?jL6u[sӍ-+ʱNA7Cs\c 7 Gauss-Jordan-Elim-FunZq!-g vtGvrM$9F&ˇH.~N1gcͣ"(+=M=6承:@A{u]vVG4Y "ojOPa@4+LT%ӉeASMC]2Y{nh@jq޸ cdG3X>&jV cuj߮{~ 6ͯjG` %{"E1fݔc^u5z|YS\uEbdJNб Yϻ.0c)g.)%tJe'>g)Hƻ٫cjw+y4:a]wgp\m1 }Zo ;m y|@Q<4''l/ZYޙz{T 6,u