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  w34 SS Descartes_Sign_Rule:threads=2elapsed=2.753cpu=4.896gc=0.160factor=1.787zXZִF! ]ŗXf1-/6vRZ2ޝ嚮{^^)u$\Fݹ(LxktC7r]͊vy[&PQ+w_3s t o\z&-\4hX~ e$,QrSjMmQ^}v]$1b(#GoUEFqa`R0b9z:hu(drhK$04XamQ  ^"[3c#oyص2J@ 6¢KğRkj2AƨݺȔr[%k^z #AۻG'de%TԆ/留ZdBX,C˪ME[^ 􅭋z0=8rޟaNRgoIҰ+";%Cع7[7%?da1{}@3d"gYZ7zXZִF! ?:]ŗXi%!W>{cd@ >o 0#ANd值=E"8gZLa]$Yw5FПL`[QJj~C8H}=ve~|%ǥD5:焹Ї[*Ume6k_lvzֲ%jk[+m `dz1xQ-&wR c)ӇeʣH!pM]ؔ>0)(u+'RD!Sa2\AfUj8X}za9 ,뇣8&UBsZvdo¤{;[wvUU0$q z@REڙ>sW.DGӍ<9>ĕ5,&g4lKr28u]pAԺdD&b-!*yմ>