SQLite format 3 @ .
Y Y Q77Atableisabelle_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]7 indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info
01 DL m]HereditarilyFinite:threads=2elapsed=15.698cpu=26.708gc=0.864factor=1.707zXZ ִF ! v ] ŗXf1-/6vRZ)/V~l_vdᷟGK?尺
[-=CU;"n*?I_u=ڟ"s5?F%U<"JChBk&&G$݄| #!-8iBB f12Gk 1Yd&ANP¹Nm'aL?!IXYI.笴ks=t/b gl~B~~~ P͇u_|4>݊[hqcG%qՊ%x ;YW 6p L"Tq!:XM2W)9b렎_jDϱiOF/x(
1 HereditarilyFinite 768퀟U K7xDbhu? _(Ni # 'ί m9e11wti3L:`֑#6zq~
Q&|] &0:UYshhJGz >QI[X(QƄJ+]v
0x = py^(쌬$W~!ͅgΓ'ã[ɹA0>N$k n(ɴą&ޚ MBǭDy122(9;F\ÿLn/ /BA\[l$JxD6A@
LBu:q-SD_)+] 1E -nb-%%7wp=zDZ7D0 ?#9|#?J^eº_W병Un ~
ZY rDKm^A64G/je#~P JFPK|YHp X&1 4Fz(5=kԴF)(V,&l )r$7
;T/`ݰ p='5 U-*{,?bG~uS^Qr Ⓒ;^ 9W;duݕ@-mUGKYv ReU+Lo)(PPl{Wb Mrlz #lڇ/; B>Lrr
!o ^Zp;4[m Sal\
6VJ [ uQp
[0$ ▮% ~/ ]~78WҚc.=5cz kQ dO ;k҅_&yn)`r{nI~Gy58C Qzʠ9}ffGF1$kZ,j gLMU12f^gPK{8 tG_1͋<S
#;b/$wY \Y1.<$
2Y
ghȉg 3jm ݢVXuDLZ)/Sm*Liu_̳H%m_{xS4̿=
>9E?%ܩ9fڊ($yajE9^X(HB~sp# DŽO>,`1BIC)&wD]ǒ& }Pj1xA\ҷiV+iY@ _~,gxZLHpS48 u"1J2U56S\ΤfhUk]s1m@8Ύ r+1w0 r,N® )Az?KGL4؎Sx r$N\9(c8͗zSFIş)K'K/k D*oUZ:X!Cizbs\4N]Fug YZ001dcd4d6a8d3cebe37f416fa2bfd07d87bbd6b1
12f77c17f595eedb9c71fc37f436f86ff7647a6c
3c5ac8e26f1721d8e10905b9ea177d85075bc738
6ef6bfcd3e21356d78d8377e82c11e1522283f67
a0d7a666e1ef01cff26fe69e59978baa40c126ac
ab06ca086aee730a79dddc1d42c28d5bd6136449
c23aabb00636d95c777ddd7eb7518b377c4c9fcf
df4a72d4c2ccdea476aa2a97ec6d075cba60850b
e528a9016bf702bd31b17e02bb7f07c640ce8059c7c621c8c679c6f81c939be460dee2fbe4c459ff
c121e04b5193f7bc8e7b1316cf00321a124849d8
5f9cfbb3ee57725a294474ac53472d061591061eb3a61daadad711a374e06d29173cd79eb396e5c6