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 ''V/ t  POPLmark-deBruijn:threads=2elapsed=24.150cpu=44.608gc=2.688factor=1.857zXZִF! ~]ŗXf1-/6vR[1u 3ܸ&S$'W'&ӗտF6|r5*Ez "%۝jf?)|J躠t! sc:=_В3(|v k<߆V'GWp*3t_Pp਍[ti8c5<'j!j.֔V9U+X{!=HkCҹng8Wo{gl46+ظVHZf+OPΤjJyXwP0kܗŞC1ЖCjCLGil0vG\x-GgYZ7zXZִF! |]ŗXi%}ϋeq8@Y*@~'J aWwNM&4qC0OwFXME;rŔ6%(5pRU" Q`+-WkCmœЁ tFN8}RnVo3Hz g_3^JJQ%!8(bhQZcҩ gqPPOQ(~.ܯp+Lf#b6n f%E_̓ bu@L{\ N4Ea$hxAb9QJ[2G< K&)0Pi%{`wb%GCͰ8rf e\!Jb,4>Vdi ս|Cw#Dd8 <Y:gZP,I{(i!i4_c{$ m2Moֶ\+rQ |"`Bkf5CXmi7uC;%yk]| =Jss&DT ,L 1B; LQ}*{> )nY[iFdvvz :E޲i%bYљbp-Y"ĩע#eeyH`Ff'G}m}h0L]QW36 x{`&N&2k)-]=` n fG;* oZt-T{^. )ו\VhFCwL6:zz${r+_@Yd`yH5!lvEGʆ]SƗIf@7R_q@B3O=qgoֈLK^rNb=׋:YY"BO,9s3XMdTwWtnW{Mg6􌀹-eWM tSv%3v9^ɴ?)n737&@l*S_ v{0Ѕbpr&I&[MUBkJ1h4- gaE#'5v `7:NnbqnhYk(WK6`[_]'MWPK78I"b1b@= CMM캮"Rï'n B|gKRD`VܘÇ׌gסD Y\Ȫŭڬ Ie|(ʣ-΂tkeWcBS3r*mU BEFgYZ20f5a3375bdb138a6f5ea2a8cdc31692c74dee2e 37694fce0e46077c125a67bd1e7a07553ab3dff0 3fe6b6208cb2039d2efcc275e00a493c5bb2a662 4173f2b40848e3bf6f8ac91aa0fc719a39daf67d 4f80c40e3ec199d35a5b808a47d454acffa976c9 b4855cb804f992d2d2901784c628e661458ae39a e182e99baf7942014270841b40355e1416b27ed6 fc61964320106a1d5751e716b19965af3ea010790ba1ca971c8be00bf94431f0078936b10d2759a5 0ce03196a7222f6488e31156b520bc36971a656f 839b44e946d25f579f005d34bf2b01c8c50a8382 / POPLmark-deBruijn