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 l% ,l ]/ HOL-NanoJava:threads=2elapsed=6.497cpu=11.588gc=0.712factor=1.787zXZִF! ]ŗXf1-q恈ֿ?6q*تK]M?hac耯}ڻ;pkp/sVFd:gԤ*iqsI}@Zz+=>4:k_1ݗH'LnRz;8@zuPK㧕52ЪpuPU~gcgũָ/ϫՕDľ\r@:M郆]s: 6vrepPOQ\;>53(…# rgYZ7zXZִF! ?]ŗXiɟ1|H5} \]f3ؑ\]EqpP8SCZ+mP`@Sj3J.}dNh!C:n1%2欽X9H fX_f2cɕIX ; n,[WZ %FJx.#M2 JgYZ7zXZִF! ,}-]ŗXi%;X;rӜD,=d%w$&--hQA2 \ԢhcUHK)@2[JA.E:z_l YWJDkc$ z4>B«VQ7mwln:(`}W92h [Eq7REUe%E~5̾K3, f%ٌOPϞ`U: ýLzƴcxg~=XSRӅEi_nmha~Ssl7X0l0= ?Ҙ#P uMgZ ̔TG'24;b {WRQ{04 +R)̑ [4c,0ޝ 9W6NX5l7xHl!0eH9'qP b^B>ȰeI+0`S(x`zCS (ՙVNM ,c3Y tLEiS e*5. O冱"ŕcYv832cC4P*b;pCJXi#ff.!>.j?>)hYal_ta]l1kQ,'4 4PyQ\88%аDU &3n,;}(c=$$yΖ 8Q/4u2q @kWLg\|Z=<5P2SѿTmK !9 ]XN w3+9k'}"(#FXp~gYZ8a0e84cb958c08503d60492b753727aa9f865045848658d617e1d31408814b70d854f0969b4d3dd4 982c966f6e75dd78217f02ee347fdcbadf6f26c2 % HOL-NanoJava