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  ~ ~-LT %/ Constructor_Funs:threads=2elapsed=8.445cpu=5.820gc=0.292factor=0.697zXZִF! ]ŗXf1-/6vRZy ߃&mG˛N\GVnfp+LÏjc}#]_r?2Ӻ~!7U "34, lO;88B!vw'JL h\GQW+LJ7?ǪM"ޞ-X^qD:N.V\LUl'm-[,S`,YN' کgYZ7zXZִF! .]ŗXi%n8xg|0;e*e#&-үY VɃy(l}Gێd׆-oUҩ[-'NOD1]yy;j)kFo8J@G+kC찆'S'hlw˭&6{eA:G/8⽥-l5j"o*$.TztrR? n W!wS):ͩ=I]n!gYZ39f4551db3e655a3b55d113812c2a52addd91c6f 5e9e0b1d6981d52644f6beeda7bcd9392ca4b2be 697c5c0e2344d52be79955bfac21eb851db0dd18 a050513c4e99915f1143006e1c9e5fbab0cc5278 ac03b26f96031f21d43bd211fddd0468cad7c192c7c621c8c679c6f81c939be460dee2fbe4c459ff d97c8eeab5366846f6d9647d2a5501999e294803 - Constructor_Funs