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 1 <, m]HereditarilyFinite:threads=2elapsed=16.816cpu=26.428gc=0.732factor=1.577zXZִF! Z]ŗXf1-/6vRZ)/V~l_vdᷟGK?尹׆-,w` 7F< 5@BZ#Cy_Y(>JB_BRWr6r'kŕRڡ׫s1(/6GL}|aܝ1:O=<&d *&(U!M8}"[Ԇt򠪴@B3f'л(q |W垟{()Mᇓ)iUl0ZĘ Nz]X:)NmKNzt74k};SkFjn 'cG/@u`tT0LšA <%H%x!TE3u+n 'Yl"il7lҜ[6.R0{xڤhpU_ һmHvvATwQ{}WjRY T-4o[n9\I9p&THsVl>]@Y: ge폴G57.gW6*C_6#$vFmi"^cJk}:9&3K򂣦|KzN`@Ϣ}&A]-kkCeևfxbetfH: qn~0oKSd"bE[ISYCG+AW@n-o&Opj^̙ެ՛(?yF#&D(LpVIjxJ멦8NYpZz-ue2*tEa<8Ŏ*.-c<@Ob>EU:Jʖ:djd|lH4Ex6"GGwGOs)]թk:EZ2_N6Od(Ne߭CyB>YR@`9Vm Xf. \w0AIc#@f+كJc{uݨ]<~pJIJN5vp" š zdRZoh!qvp>z2r~̮[a`@úQ|&e |qH:A,v_<$ӠEFO{JҠs]TfןB{)j { [J9$f| htñgYZ001dcd4d6a8d3cebe37f416fa2bfd07d87bbd6b1 12f77c17f595eedb9c71fc37f436f86ff7647a6c 3c5ac8e26f1721d8e10905b9ea177d85075bc738 6ef6bfcd3e21356d78d8377e82c11e1522283f67 a0d7a666e1ef01cff26fe69e59978baa40c126ac ab06ca086aee730a79dddc1d42c28d5bd6136449 c23aabb00636d95c777ddd7eb7518b377c4c9fcf df4a72d4c2ccdea476aa2a97ec6d075cba60850b e528a9016bf702bd31b17e02bb7f07c640ce8059e4688efe0911f3c4685119d2413b25847e9bdff2 e62d7733884c28c7fb0a292b7be70c4f22bfd1a3 e6f699f9602302a36e4385981d2a9148d31678b2c2ad3ebabae22f00fdd3b6e0193f077e5f592679 1 HereditarilyFinite