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 {{/ <\ ] POPLmark-deBruijn:threads=2elapsed=23.567cpu=43.612gc=2.336factor=1.857zXZִF!  X]ŗXf1-/6vR[1u 3ܸ&S$'W+$iq!t52pI.4E ynx`Ss4LᤷU+Swt{w5@(J?r-ĥO,T%.?pWʟW+@M(qp3؍]RSLK^=a`I gΡm}Xbs%e k5T5t?bpz-m+Zm7 ԨrM3 {MuC.r;$rj CTy[&r !ÿH!'Hb / FC*NʊJhmwNtb9y m7./43nܲ{EotDmܛH#ѷٚB$0WW:g166%?QGd1+~@9 V g0t}0Yij `o+1 ]nFg,9bvAkWK-s%gSHjkTq{g@ ڙ5 eXc1[Є򦽬my'5**gYZ7zXZִF! z]ŗXi%60nWDlX>y-N2)uI`,\ACwo<ໝ :ku35XꈟXn=<~b՜vu%l֖`j6%%=in)5 'x.$0%F6Q3bsy,ѿ& 0G|9EcfTE72 |̬\_>;}"1aC7vei&MzW{ݒhHBx=s-s(4S@..(]ƳPs @;BmI65Bu]t{.4Kk6xa3o -pNjF\c/:Ѹ-A4Rgb E_ WBF!Pz<8r0o^DCp3I/:yN)9Cnԝw46ZMKORj~+ yLIBuSn%x^_zݝG\b,HWõӂ"$ڊ( D3[Ռ PTyRIhCybȚ-0DяDZ {hD#~Tr2?Eq=qy߳` _C%Mô=^Bb~KلrXA2H^h \ZTp-5IsF5e:Qt~퇔@l4i5ƋIoeMaĶJzݜ(zlUk! =EA6!L  4+~6K>aB;qjzvߥ Yӱ:ԕ G1?5Y x]잵c 1<%a︇)ҕq©q]*EkDw'%q~#ۺW3q.ˮ(̃LVD2 fC/CAcO7M|/2}6.swsȚm%&fAWdr.@9^#F>P[<PA0?˼{+ 6syOFf