SQLite format 3@ . BBh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_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 ..O ,4t ]/]HOLCF:threads=6elapsed=11.880cpu=34.716gc=1.808factor=2.927zXZִF! ?]ŗXf1-q恈͐7ӺV ༂Mb0v9?cGڿvQы!&5+` 8pu'6^[՛0e-Ek_p#U飈~͈lsa<){I$ }epJ`!wJs67= T*:qU#Gϯ Sy9iao;܊t`bxH[9$i RWZOdW A:y8IBd~GSNugMoPvR]`!@&PPe((͈}!vBk$1GҋJq7_-12hlw.mQN\Zc0_ ڛMznYPĒ *dV:>DJ x1x hFk{Đ>\ow}O;AFi$oi_ͩ,>mľj@ F;?;i&&;!s5#‡/YgP-&%[n?̣{SdԒ [#Y 8?p߆ctD8g^l &7aG2''nèA"A]yn*c &d因KzFE(j0l 2gYZ7zXZִF! Q]ŗXiɟ>Ӈɇ9S2]ʂog`(pּiIOC<0u=ڋ  BSPC1F(/M1֒{K)&јO'"XlO&3$&A"&0Q`O"bשAVcYvpVtCEGwE}7<|zz\|r?r;魧$~3Qatsz>U!c' V.RBR?zM73~=vLQ')Eͭ;0p'34qs1u.gYZ7zXZִF! 81]ŗXi%6`@Q!|x+fEyPwƫ ̵ΎF7^.C 5%bī?jw~I* V7eIMs(>6kamiELM28㺤q ^嶀L/ɱʶšTKomm*flNse /h߰7*Gn<&'y geH,0*q9,ZD  L:!tZjs^?B8&dpfg*} rƵP6-ik&G .sBXpBYh%n}$BZzj+!𘵑#IE^IL,ks3zu>1cv]>,2RFZuo 㜄s꼠huc";2ղiɠ4r}9KV]>APZePSecC6cwS/D fEFDnM# σvnh]~{ ApZ*fqNSd_UלU 4MVW%JRNkV: :h=7ؒpλTtLA" guEC*GC>!S .Zք8dd4JmadJ:.[ad&F.ފGvq0A"{St_qYdp m4Z*<˽r7moM~TRoXh`Jt)Y4vM[oSJ`C*O;=.p~i) N׼ygYZ73d339ca29546940ee01b576f8a1802480c770850fd942c2de17ffe6e7e669ea714c0bfd1357b97f 96be2a9745a5315d1ee7c3748cbb3041e35142608a8a3cdc96e4285c5e6b4d0bae8038a747ff57f4  HOLCF