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 s) Dt % HOLCF-Tutorial:threads=2elapsed=12.060cpu=15.876gc=0.408factor=1.327zXZִF! l]ŗXf1-qN0L?DMCM}1EB9nN|@}0EJV8Xf !m C\XMuCY:FXx Xs}^t-\/̱|)_}3*)^]L^Np O;~?qYp:u*&LPXn,۞1 sbӪɉ(*giFË"IKS]Ec(kWx64;v 48G. >U:M1$u`9ɱ,ɘbK??ĥwE{bWGV y0orƹN?wdРJ o\(@gYZ7zXZִF! ?/]ŗXi%CkFØ/v4YV,i;6Z{&sf0(S=•A\(gQe#OQg}C|d4\Zk ΀=8Ie9nQ7qi7wح"FqO}T P#(fhXg(œKH aO YfIDLM HQ*UpWYI04+q~L:4G""!pueUQ=j:*}-&[? ) HOLCF-TutorialhLMj.WvyH7x (vNo~hn3t˝M}w2ߐvyH=L@53PS'|v}|mUt.>`SH֦R:'@@cWqZz y=:ob W@k5]A>W+:/>'Uly"CݬTpzXT Z wuEM؇'TSSZ fQ)\ 4~.4=?gmThZ[!7ףt܁60$~XAjkXM'`M>:prFTlЫs !AzNY^~ 2|lqjbxnO9#`7h7qβ]+ <ٻ+b^ms#lK7lx^ĭRA46d9sgC]ArҞF@C>T`3m𶄞LP6uBo1:㰃|q,YJ?CS׷i(ACP_}M`&T<$"a:u` p'fm-r:ZG>ʒ5]ų`jhq3ގ(vk # p?ZPh`rQQ6x÷a`3 1O29N:KYTf&$ITRk~lұgYZ3b50a37e1aba44dc634f0b813ba065aa18b3ee91 400f13dd2c84f958d84f27b03ff5eec785718532 6dd0e9dfa55d2d9c8dbdae32f124d724b1e05b62 97a2a51088acf3f46d2f67ea38cfcce93271e2dc c886ca46627467529639f5dcdb357d6ddd4616ca8c5c3c02f05e35fe442f7fe3aff9bd93f43f72f3 d9e883ae99affe5ac273ba1c889b8ce1dc4817ed 645174f4cff6174b9ce6ceffc99373d5441e2d5a