SQLite format 3@ .  YYQ77Atableisabelle_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, "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  + +R7T / Gauss-Jordan-Elim-Fun:threads=2elapsed=3.544cpu=5.612gc=0.088factor=1.587zXZִF! ?]ŗXf1-/6vRZVݓ_e*E;.`ub1!ڏ/3} q6\D|zhluHJcR:c #<}B-\\'FNVM,RXI9.YO2R,Ʀ9Ƚ;d h"bp)Փ\ ~j1LSB|?…3K^nn CQ fgYZ7zXZִF! ?]ŗXi%h5;;[᳏=L_cInчG*!uU4pm&/o4ilΞN!E#7 9͚" N}U.% ƥ?[`M[1*71CfX~5+R=N,r8٬2xꁮ ܨ.:,#lwYD~_PQkUqC3Q h- h 0A2ڍ2&C䋑4'* .eك-'}*'cEFe27Ɛc[Ne$؆UK24HrY7ģ} N~:.S Ȓa0 1JHuRo*1/!xЩOxvAh!0Cޓ0ېˤ.+ߦGKEWpjIo:B &9XB4=92%%jV(m8=/8Mr>{& 9T f9?+'t /U[M'EMx3s gYZ1874a0cc34a6a9879924440656ebf79447d8da6d 553a2ae14632bc956ec0af3527f5022f65f1c8f6 b8dbc8dfd0c774bdbbb7b6e631ccbffe1530189d735820fbde580c794b275d3f360e30a6d8376dcb f7c5cec25e7da1e133019a5ddbca98ad9c7924aa 7 Gauss-Jordan-Elim-Fun