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 d $  HOLCF-IMP:threads=2elapsed=5.613cpu=10.776gc=0.396factor=1.927zXZִF! #@]ŗXf1-q恈N|5` 6y}P7(/H> QU3k܍3grɿcTfZS *9A[*}5(= ᔶ6m2B9-*Wi6k[l1X4vHBXs>I!σp<r[^t~ ȱw"N{!֥yzɌFU&/V/(j!.rC)a9iD뀵(ZBOPx>>HU~.0z CdH01{&@?qb^7aq,VԢPP~ mPi0&xyqUp|`F]<Ī7}o\H\b#dj WB+])BL 6u H9EQYF iʫE Fe[#I05Dh@f5Q._   HOLCF-IMP{xnKEBAl?P[kMZ`&\9&~|Ods?^>bI_犱ss#㺱na6'e\v(G-@{,@GFrwak8H\e_%?C\ރ2?ω>1sGh{6t9kC4.csrLds*`ёl}@S7pi@`rRu9gfz3:#'hpq (8-T 2 ('`{[EޅC[dp.RƧc""җc}ԃuGDgbIܵ"~AZ JP9_ALvnp0&i(:`@7x5rb/`+ {6{<+g:k?~To]cpĠ}ß8DgYZ07a6a39f22715d36c6c7d78e19847c1c19b45164 1219141cb7a32230a95ce4f1c699106d4ffeaf1c 332124682321656e702ebd7a5d933f675dfc2c80 4d142c1f8491581cd7dcfc81881897af56ebad22 9bb64d25a454e76f91ab3470612aabb28b261038 b2f395bf46e105375ccf95127bed02a66037e2aa b6122e77952924b9e0da37b7aa08cd7320e1a3f6 e041c843d120825e77104e8742c34aef50abb14376e60ab7be570c8f37ab4fbd0cc297599bd4212e 75f08b6f45353080735e360691a96b11d33f8575 8b3f1621ad686cf3aa842ec79ad06a6f95fde427