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-Tutorial:threads=2elapsed=12.232cpu=16.124gc=0.432factor=1.327zXZִF! l]ŗXf1-qN0L%.u--W^3M,-pDF;l%U}8gs4d}_(d*(˝,n>8S-z̕~3t^;{+F*ӄL̩uh(Zz H ǠT.;߫6A[;$B2qDvS^rq;4gLoj(fu5ٸiҪ:Kej1(|;_80wi;W7j".dO1 5e T^M٪+LNQf0֯-ze'E7>f& ~!ncSĢdElPON yj=%S րٳ[[??WG(@gYZ7zXZִF! A]ŗXi%#eO?Up)j)m[RD6g#%lU.(nʴ!(<*MN1(qWz'kmop&d&s>Ѻ R6o-^*TwZ6bI*aNqu2"іjD˨UxVh!U>ڔsts }18\YT|Ĭ;gAP &!(>1dHF9J8{KQ B^fs":b˭1]0G\"|s~N Cc.]ߣ5ʼ\Ͱ+%|4")ѼN4jb/mUOܽ4ݠGF;:Vh5O/ULZ;.ĵ}ɋCbDgEs<2\R.2'nS:8wo30,W Y|C׉srvȢ=~m >ŏ ‚2#N/;tgcyj Xd/,S-CPx" ^ _ OUI &MgYZ3b50a37e1aba44dc634f0b813ba065aa18b3ee91 6dd0e9dfa55d2d9c8dbdae32f124d724b1e05b62 97a2a51088acf3f46d2f67ea38cfcce93271e2dc c886ca46627467529639f5dcdb357d6ddd4616ca e041a4e11a01034660c17a38624dbe971d428e0d76e60ab7be570c8f37ab4fbd0cc297599bd4212e 75f08b6f45353080735e360691a96b11d33f8575 8b3f1621ad686cf3aa842ec79ad06a6f95fde427