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 ==@' Ld$ ]]HOLCF-Library:threads=2elapsed=13.902cpu=25.388gc=1.072factor=1.837zXZִF! ]ŗXf1-q恈͐7ӺV -O\9 a>)nkszf q`%h/ɰ=5'(L8}H7@64,ȣ0UBo }N-Զ3q=K>+< tsbxOn{G_i@|biJ-wnIOLKּV ={rhw^ẆJg8Ը'MPx>2F1n{pTQэvX)S7إ9/FYǸr[ i:L7%J?B^$HLקpH}_UpuR(jY}٧`YK?9?_E\S~YTspLqBR6]6Hx,ĵ!kЏ_ͳU(h֭5 2jaa"h¢>׆M暤v ӇuMwd\ͦl!Z{gLeS0:M_'%AtЃ)yv.q[N  ZB%ĻKrF.{@5H #c: /USaA;7k/MxŅQed ^.)7Q|4luJ!:LQsLseECz]K0|8q&ȧz.oG pqLMhwr\1T{̃C"6\1}/"/wfsﻥ;Oq.-9+UCByLY ~gYZ7zXZִF! AL]ŗXi%;O %vnДWp/faW]=2 d:qE ys3A$|NƺoVpT`Xtyր/^WA_^M/-F_:h½oP~?'ܢ xM@RZh[hs/4J|pPPz qdqmG>$Bn Xhm=%A=pfSfxI'-@*`mwF5vd֣&ɾ`~&ylf"_h V& P󜭝 |#O# ~f0lCy(= ~"Jm&)^dH:E>!'V+.csz:ݱqɊ lJH|/3 wCAvJjUftf\Dͅ fYCrmKԆמDmº#lI#Pux1?ؚGB,'=Abl絜>ڝo5:9E| a0ڕp2ܤIBZV}p=ZD9k%pRM /`b\02͆bn1R' ;SگǘWjk:-r3~Kg-cw_jc jL͘BG5< !fU۳ Hd;9ّ^6:U~ru;Y6+w1Kh :$|YkDX ;;I0qM"mrlx !S*B ;ޝR NuaϮ!V G4mZs6մ6u%1MOH_3cł4.40JY![ؑT|NboRHeAXgjr&v!W7du&3QDI~-s^҃ygYZa194d7fd0939a12eaf8371a8081a5f5d7f46f5ceb1e9d096eff3e2d2097c331d061d199548b5d3ea d6c569c3cb498e2d723179c18cc1cd66ffdd721e 8c8c40f151aa79a5e88a37fecd8a88898973ad87ea4f3b68e694d0d8bb7b1145cd5577c11d47e2bd ' HOLCF-Library