SQLite format 3@ - llB77#tableisabelle_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, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info }}x L  HOLCF-IMP:threads=2elapsed=5.842cpu=10.908gc=0.464factor=1.877zXZִF! #@]ŗXf1-q恈N|5` 6y}P7(/H> QxgU/s#/o BdOU O#ec s)IBʼ _D3M vr?Fq6sx8CH.6gBxubadfH~"HNt)Iѡk.ġo7a&1H#MM=xPch!w^:f64ㆈ:%ם%HĒ9g{!A~PsT6x[Hs)NyU5E7{gs{X9PZ4-[F |C.+m*hVl۽̴GnǖW5vFb^ zpA,`7䆜b9o("Bv-MInqb??c񼛆A*u'o'}j,i4FƊ#W=v6'{!!mJ)1e|}z|Qv6wÌrW@M& c% ̿5i&Z, |͌7fI8Wߤibt!N'xW4G~-y3p/ߞUpDm8   HOLCF-IMP޴ "_êf f_&L/1?D+GP2'z¤4٧,Y8͸pt橠G%ͼ3BM6e9,MX4QK޵ F#T4$=T>ie/5G@MUS$| B7 *ɹp &,g V?& *ׁ,+9*MI i@ BaaRjgHۉUf_n䦀\0?:( nVL.EV3Vxc"smq/ꮛA1$f505d ,=c%yK<ه-|6q+zv$D:nc_]gӓe;I&)W>P^b R|!P>:SSrrk1q/E*L :zDL@_`6f^-n EftN^D 񵨻!"qqйO.1zɡϡ >aD8 gYZ07a6a39f22715d36c6c7d78e19847c1c19b45164 1219141cb7a32230a95ce4f1c699106d4ffeaf1c 332124682321656e702ebd7a5d933f675dfc2c80 9bb64d25a454e76f91ab3470612aabb28b261038 a8b8a6b31ee7c24001f2d4de8b86920f4f7e5115 b2f395bf46e105375ccf95127bed02a66037e2aa b6122e77952924b9e0da37b7aa08cd7320e1a3f6 e041c843d120825e77104e8742c34aef50abb1433269756b47a6a9653987fc2e45e2efe5ac3c9347 235bf9bd90cd9323492bca5d081941b77446f18b 8e257241ac01f8b9869c189815968e93197fa288