SQLite format 3@ .0:  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_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 { 4\ ]/]HOLCF:threads=6elapsed=12.673cpu=40.860gc=2.948factor=3.227zXZִF! ]ŗXf1-q恈͐7ӺV ༂Mb0v9?cGb 5Z;e3.i@0&u4 LnK` 8<O`{ngȇ%o#sŃ.ԑr ]3]% = 5")8OΥCU ?u1 6HXR՜и!g*w_&{QtG•Ny4F*0Z=ԦOoz.k4^GޡH)#bZzQ=^ؿF1ߠo?)+Ch^Ps /τuN GVzv`%) 0}^[ Vx&zj&-Ӈɇ9S2]hBQ^GJ})DzNU8x1˰ Ou QDY>ܯ6Xgn*+|+%/0홪b_3Ht-xxE3t SfPH'pyV26/mf0?'hݥu$5t HҌGВp*'yi -wά@cni$)5 ^!oŮ`}Y)'=ψ cPn@>)ћ?iipF%xѷ E1ak mT\d$Q55Е  F'g~Q T+nb OM_([ ϰ'ݱiBIFK_L U=ք=f%DemmhΗPۢL/5s#`vJ;fх:i7o)ݑ&i?Yѩ`y5E t;ߵnK $\[w4գ1)QV> 3E=bcsngYZ7zXZִF! Hf]ŗXi%G=%>kDZG5s2%"uJWvш!$=L\r b|] P@KsMld0&v2C*#Ȑj0ӄ=,#f̈́0ziߕ;r?$hqQz1Iyh3W _4Xёsa*l5!Q =5IUѵ$SHɿļFqW?n>. %=gԴ2l0fqx9L)$w4PY(yKͳrr-(I'd>͉s@|&캑+$7\%b=gJ1y*t>qEH E 븇oF>2;W6f[Fx]M#=9utZv]3fVx}6UJ'{Z.ZXicEij:+lʞ{8 W4WbP֜L4*W%9 4$R9{8(H.C{;l]L-.m0-3O/TV⚲fqa's[ˆ tRlV"a+BKR[Oluka-&EƦۋn YhҊ"Zk>MЬ@AFvpD }G,݂lqA>I k,'$Z=ǧT*kV`L<$ϫMt`J~S@+ǿddNHЂns7P`1ba\89DD'< I3BU8_%Ո6%cff Yc&giMG)Ć/xOj}wl?~Ŏ'̞b.p,s1?_DjJ^Al$PFrjIB@_$8T\Nߗeg=,! 蠇4_*ghj#'ո ap| tލϙXŨ"Up0uw[AYPmoQ0F 0na.32=DqbZcHaBSwa9QTLW٧5ZSJ ,!-g&1^e}2PcCt,wՒts4̢^p5d1Krvz(]%㛗x%Ҁgѫ>I"p=bB{&7{]Ogu #bkScCedDMiC52q}w}/x<Z,?dP_H (F!t³>I)Y®a(~R: І`B@R≅V"K gYZdc87a1e9853050c776d2252fd6cf43aa960e38682c82039eb3757b51a1431a9f137ac66d6aba80c0 3c598196b8edb81762927ef1907cc30b566240327b612325da55fb6966028bb43d91a61783070735  HOLCF