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 11L1 $$ m]HereditarilyFinite:threads=2elapsed=16.264cpu=25.544gc=0.752factor=1.577zXZִF! X]ŗXf1-/6vRZ)/V~l_vdᷟGK?尹QȼVޮ6tSsUPN;*p֥94ϵ_ j#:!S淾=Q&tɀԾ'̵"f8iy}eM%',2U^n^omGI˥ުZ)`5sDHb  —[-,8oݻ͟y0j#ʹy &JE!NΛ1DK"i0O5i4%%|=X%I+ 2'^!>W;n=!>9LƩ sgXD'w=`am9NK4硨䣉F`?uGHV_Vu1A(P7|r4(Hxe}Jb4 L;nگĐJ;gYZ7zXZִF! Yc ]ŗXi%6S6n0JQ(Ÿ$ڄȣH(F3[Gewr3Kr3.•@I3y9k?)y|*()dBjip"us$-#ZúȜAcKz}Yԍ+}^($!4fKc$HT餎FU DD9!PjCE`Xh28.l/dzڝ-TU;mjwi}1B@ZfEBW$(#}<5WKjF,1|{;DqU A 號n~t>΁4@?fc\|$3˪}& j=57%qtͧ]#3z/ tZDgi]*b@m;;N%O*`:;quEbbV}qAy>f.Kߊ0WʡUWy_k-b-\GG}]t)j2 "I У:bՙ.o<6Ķ.06D(ҳP)$Oi^IxsKjGu0Azj:R]n;hĒB\oQpkKV^o:E\A6-a>8Ys2`9At&ܭI&x0˺r?n}P=WOŒTZ\-YLx ^I |gYZ001dcd4d6a8d3cebe37f416fa2bfd07d87bbd6b1 12f77c17f595eedb9c71fc37f436f86ff7647a6c 3c5ac8e26f1721d8e10905b9ea177d85075bc738 6ef6bfcd3e21356d78d8377e82c11e1522283f67 a46cdd814a4d4c5b4ccde5ae6e50ee3164407922 ab06ca086aee730a79dddc1d42c28d5bd6136449 b8e88cb6a6101f3cab3cf543c2b799964b1fa8da df4a72d4c2ccdea476aa2a97ec6d075cba60850b e528a9016bf702bd31b17e02bb7f07c640ce8059f0df918d4045ad6c60b23213b65e87e41842eac3 28b0b14cea5cfab8a9e104dea18417239d359f24 98dcc7bead3126f415ef5f6e3e3cd69aeb7477c1724fe15fc7c528eea834d95a1aed0c1a75587204 1 HereditarilyFinite