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 kk/ ,L  POPLmark-deBruijn:threads=2elapsed=23.784cpu=44.112gc=2.576factor=1.857zXZִF! P]ŗXf1-/6vR[1u 3ܸ&S$'W+$iq!t52pI.4E ynx`Ss4L4f@T;ېp+<3.j>5 Ӝ[>6BQ<аȕI12b8 ^OUtTq((썄/A9|&gO2Mՙi95eLADFrc*!6!eO0.(J,JjzCu¤>QAţ0D߳Muy z:rZ끺.E݄NhHCFmIN9766Ij Fǽa?4Pɦ }!c%bu>`s 9BHL t~.;#,ڃԱ`㞖뷺4o㗭=ҤJX6SB/t>A0*#XVY`f 4>XѨ+ep3߮Ryl4x gl>g#ΒgiH8ZFmE+]{)-E1gYZ7zXZִF! |]ŗXi%6lR?,}}غ%yvƏB@n0nB_*kvU.m[ha\f=ҵ%!XH([n2%IDH}3,-iMHj%#q݄A1D0v|[vڎ3]GסbHL#w5)0֚|6Y);wZ| U)dBE/2ZR'¬dwXb}2F2JaxojQjX +-!%w i zş%Z_ˌwL꘶ds(NsuTl 4邻4,Y3K.D.m3}Ҹ잾A;|Zt\f^;]qVτ- J= 4k4Q ?~B&ӫdp !2+a*Ypp y751|<[kI`_=5͌DC%c&uE#(2;#xKO72GZ4rp`Ql1',L1([=hMAZv RZE&hyix7b7X^3x٭Uņ$h44Us^?Ailb៙/p{_Vч*1gAo&H7_pK s>XO3 *ƍTO})ב86`>y. hnO)TΧJbH,-';Ø<5g>ZA$>Փf\ƫ6z<$/1sanvfPtaV7Pre/3(0Q鈛CgSjI+LQkJ91;1@LFZDbՎ aPwz4LJ#SM&veS%e> qx+p)z O׿ɹތ@WF.P;^U3_b0*lmk'3OOr Y`%P҂"b\LZg?f5B 2Ы UK⧠*Uuf'2`]*ڏTLc5Zf ">jf4F ōsNvB۶HBL!Z)#ó~05T_-Ni'Hxl HN _0UkĒN؎ַ1?!~̫BZOȇ.Kkk5\ZD֜5La•a ^m-t 5k&ޑYfP %܇_4.NjELDRC jYZkȕթ` ,fJNv6Q@%n5+j^&h ]gYZ20f5a3375bdb138a6f5ea2a8cdc31692c74dee2e 37694fce0e46077c125a67bd1e7a07553ab3dff0 3fe6b6208cb2039d2efcc275e00a493c5bb2a662 4173f2b40848e3bf6f8ac91aa0fc719a39daf67d 4f80c40e3ec199d35a5b808a47d454acffa976c9 b4855cb804f992d2d2901784c628e661458ae39a e182e99baf7942014270841b40355e1416b27ed6 fc61964320106a1d5751e716b19965af3ea01079b9e4cad54624ad835a14cb92fdf2da43457b5cfe 0c8d5da11ffcf561ab033c36ec59459b7d4f6e36 696e9f2819c1b0ea32fa6ca0613aae10e741b796 / POPLmark-deBruijn