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 WW&/ t,  POPLmark-deBruijn:threads=2elapsed=23.791cpu=44.216gc=2.696factor=1.867zXZִF! 1r]ŗXf1-/6vR[1u 3ܸ&S$'W'&ӗտF6|r5*Ez "%۝jf |J躠t/؇&6_´7rO]O<@@ E4.i5i kM\ ܉5sZu|*2p86]*#rI5;/]_&N؃vҊ"^MB,Ǎ5D`vLB-k*GEU ዷ &?-z*>ca~_m\ktDqwz%OA$VyF&m,\s=hәA ;F\I`tJ@D7 慾^|vp'w!=*`hHfNE"2?Ux9ΞwD)c#m3CllV4uEx\^(AjaFwjǵ!upF@AJRZI/S%|FGqu"=Z`k3 py1Y>u%ḙ{!/> 0NB!̸=d4PHqh+36VWJ,#gYZ7zXZִF! z]ŗXi%6y40v'o<%Xqjq`] dV% |m(~ }F 9HHZÙIDORkԷ7>P"^N'VFgNվ+V1h[ 0D&j>MڈaA58?'_v!WlXFۻ 7d ڴAWNt5 ߾%깋zU¤aVfzH}!Y#:A#hbfNI3u٪_<0ae@Yr@_f5 Mدymt2)0Z\q̲PԤhXjXVl~| wŸ4oDNstѶEyc7nVney#$JQ׀yL" WI opSs`> ~dA^l 2M vPQoӱֱ`1QAb fbG+.:B;t/dWD+gWfNݕx`Kp-< PdʶgVu E{IhUCvBV+No##\^.iM!XPV1Vq%͢FOE` ŶdX&%oh/` 6–ν$o˱!Lj{ A_Ƃm~9ڼe2QOpr4CQ. Wqr΄ BPFX%ܪdRJxZ~=wVu~V^4}RbLP+KEh0~g6[9- Xlb IHN.C1>YJ(HW;(;GRPżi[W0h뎾NYԙ^8݄=j0]]Z^&# }Qƕ004z$b*,v@ٜZϋ8q+aɼM]35[CѨb45VL*ZY2-H!RȿBtQOYm 8FhLĊ>D\:l+Y(PGtқKfHHJ+$qҧo\I~QWExf,PuUutJPO;jC4e S*N@oMP\KĔ"y[]w]! Pv3/pjC>Ma†S!wp]C)A:%50Ezd@n ޱgYZ20f5a3375bdb138a6f5ea2a8cdc31692c74dee2e 37694fce0e46077c125a67bd1e7a07553ab3dff0 3fe6b6208cb2039d2efcc275e00a493c5bb2a662 4173f2b40848e3bf6f8ac91aa0fc719a39daf67d 4f80c40e3ec199d35a5b808a47d454acffa976c9 b4855cb804f992d2d2901784c628e661458ae39a e182e99baf7942014270841b40355e1416b27ed6 fc61964320106a1d5751e716b19965af3ea01079554fc66833c1e501a5e5c7ff24471873df0a1f56 d155c2ed07829a15fa84f92865e4197c8a5f1ee1 2b469e38ab065480632e9b5b8f44c208e16cab8a / POPLmark-deBruijn