SQLite format 3@ . BBh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_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 @@= l ]/ Huffman:threads=2elapsed=11.070cpu=19.672gc=0.512factor=1.787zXZִF! 4]ŗXf1-/6vRZ7Y#Kȅ |[7fn 1i-^!CɄz3Pp :<́bdUL.bKdVےغ KQqH&]mPu؂hvX K&\ 1ܡ[5=U{*l9A7K%GXqC c|;ƸG( ^  C'θ%W\l 4{$&/#jMU8/6V7Ld+p:L8$ZpvK1v^2le`\W` 2.2B%y ;vװOXpɐ7oՁcM݉u\MLRuK)rdtџcl Mr̩ǺD4=t"b5&gYZ7zXZִF! C>]ŗXiɟt0sϘ ECS>ÙrF%s$+*+SZD|c}YZ7zXZִF! =/]ŗXi%9(SNh (g솄֍_F:Xue5;]@V)F]")};I9k>"Jq;4#o-ռ/0>4]@|u0+GbFɣH-Zx7fYNŒ8>t M@қGC_=ai&ʑͅ˾2\vZX?.nH7*"gVWz,OLuRJCӵ-l P9rnLhx晓2z9PuV dGi3!}/Sݘ`;/-@A3S52_7@s&R\^[Tˑcmr4@(Vmj=Zlf΄# Xq5IԺj*~$~DNa2TT7XlPkRczFx?]7dP0'ƒ&6j B #mC{hZSB6"UO-3Jϣ|ZØ,gek.K-*7ax=gKM@^ĘCq~-HlKQ2mb\yƗU~hbٜr"Vp1GԳ4R(crB)ӛW~ *#_̵.c+ߔ1xxrܒV4E܃qwx҉f,pEw ͮڥG28Aֺ`k-=,P˄MktU\#bAZ3ڦ/Ƹ ό+5]S5xGY?Ry6:/NJ>MrڔMm rwb ܶ׽'Ȁt|Jlf,;z. ty{m?<֏`]1H02idAOraQ#I|k AY Dj