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  G G67Dd / Gauss-Jordan-Elim-Fun:threads=2elapsed=3.524cpu=5.492gc=0.052factor=1.567zXZִF! ?]ŗXf1-/6vRZVݓ_e*E;.`ub1!ڏ/3} q6j8F6F=B}|9hGrbY0 腅R~O3{qh`c'L]K?=mP=}ÿpFkcvA0Źl蜔5ZT]/ NW|E4]$V^P5S N߽ $Cvh>qa0l\N,؎UI D4v T=GZPA,A۔nI1eE~ns-^F*%܆Y4F=?V6A67Z+ aX0V HЀ6a6_PEDПDQʓk 1s3>gYZ1874a0cc34a6a9879924440656ebf79447d8da6d 553a2ae14632bc956ec0af3527f5022f65f1c8f6 b8dbc8dfd0c774bdbbb7b6e631ccbffe1530189d554fc66833c1e501a5e5c7ff24471873df0a1f56 d155c2ed07829a15fa84f92865e4197c8a5f1ee1 7 Gauss-Jordan-Elim-Fun