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  p p % ,|l ]/ HOL-NanoJava:threads=2elapsed=6.730cpu=11.884gc=0.796factor=1.777zXZִF! ]ŗXf1-q恈ֿ?6q*تK]M?hac耯}ڻ;pkp/sW9t)D\.qx\i)%5/,oc0=&h13ٍ FT߅d.y{k KFb^v~њ~I-|iܚWg sֹ8LQ~R8KJ KB [Y>!fY&GRsb;[~՗@$G+Y 鹱gYZ7zXZִF! ?]ŗXiɟ1|H5} \]f3ؑ\]E^Y[-ƚu:GO⡔xzQ2 ͰVJkGi9;@@ n?*lpʌm kum3AӊP=2KR\$YéfX MfK@BእV@&1<3DquH_EbE;6gYZ7zXZִF! ./]ŗXi%96BG&ހ#Vq"4tO?i\;qF /#:WXByGcЙ_XL0@􇡯RPo]HlUm'п X1&\A3pQ$I8 MVO"/p)zo".![ =íf \E!#2KŠ[ Gm\ʽ_Rf72lxGJi{NR˹+,YD*l ]Q6~RP}_Y ,輍0lʝ^ Cqd\O<Ǵ-Y@,eMݮ%TI@g eW)5MD:`c 3$ҏ:% gpgUK^/c-Q%q߳S_+QIDx pKLwxhZ3ܟ:A鱹ԟ, Cw ԧ0rpllBY)7.ji=\I?U>VFT|X,Q*q}e^@SVޏ}3*)xps↢6:ӊQ3ԥ3N}~k}KeԨl"ɹpu;~Le #YЩ2Z\QUןB̧MKȂs,@hE1 ٺ!8TQ8O WJ5y-"wg?jAL,,mve[Wlq.7쳜?LD]2DyױgYZ5246558b5206c6b48ae85ac7769721e3c6ce4e4f31bf4bac648c51f49408130bf9489829be3fa993 35508bc2877195b4acaa6a24645b77282ba20bd1 % HOL-NanoJava