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 + \ / Strong_Security:threads=2elapsed=21.378cpu=38.420gc=1.192factor=1.807zXZִF! q]ŗXf1-/6vR[]IJ!@W&abZWdTUNZ`[ ,FV VY؁53߸Dm(1AYQ vKU7NvOq_@M:#(H'_wdf&5(AWNdHіrTsΝ0,7H+(9rz2 zF ⼝QV_G?OHh!M[݄׉nXg2UDsqVX5G_(!w+$UqK:2ӯ~`5 MYQV~  MD=s8:wVjNzţ+zK97nd{ FhHܤI_' idy,ueYzgK5id`OWܒGz1ûw~t C,Pp֢XdY;INo;q=?uoeagSGOp_ԋC#o +Nݒ|Bm>•[j@: I4jd2FPh;!"scbHo.#gi`21v4>ZjnG)J/PGE&SYlgYZ7zXZִF! n%]ŗXi%6!]NaS޼wO@06DHb_~O_0p,v{t7WE;փ`MgeEGs-jKTǵb/#g_*lBk/9,oɄ]!Ys!N$Di}}$4ؠpq%_U/x|3E^Wޣوd< G U,2d y v5VY8*RXR,߃/\aVh~9[X@\#m RR;)ѧ邡ss׷AX7wUJ#&q L8[]sxq`ub(gfr7PN$%n֫ 7;w:^vz޾f"D5.c$3Q;u,g:l5 n狮s<'cƉT!$TjM^Vێ/"9ex5ꊵ/e XRֱ~(%8HKҼ?: 6r2|b2BV!mQBюF8b"0qU[JҷWjְqe.-<2|X 띁}U,0GĩoW``gE5D 'PF!ETko 7ݘZEVT'\ҏ-JZm޲/lR3Q* - 'dE޺ C.tjXF?czl= rQvgyIejfzfS&[?*tfav }.|ހ%Yj|Rsz@'A`RHp&bW+