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 RR+ ,4, ]/]HOLCF:threads=6elapsed=11.906cpu=35.000gc=1.780factor=2.947zXZִF! 1]ŗXf1-q恈͐7ӺV ༂Mb0v9?cGڿvQы!&5+` 8pu'6`9^E!r-=a*52|0 zFhA͆>uM_1 n5ﱅ0X^1`_2H5c\.TOuG~SNbz,ciGF~=u"LMiҙ2]w̮tlȼAtʙᓲTm1 Mnr:,=fL*a#˪&0ۇ^mޝS(u:{51eCQzQ Kg~ͮ67oFi稻nW]@ >c/X'yhDj/xEszfW]=W[Y-8!S:]Ӿ3pWC(Ty`5A ~{^p۝Fx@O^(ec/n™t;0*G@ܸ<~7Ǝ襡}]eЄDE=M T?A#1.4i-^)m">|4{W%Z9TӒ%Sgh;SԦ`7J*CWYW"nTIz qzXgYZ7zXZִF! S]ŗXiɟ>Ӈɇ9S2]͡W^J%/$>XurJIfF-)Cߜ|VV({?B]kߠ/ӟWQf6v^@ATw9UN&}bRQŀnwk(r;!Ԑ.qCn+EغIE / fC(esίמs=ojk=ؽ)CowJNa=x͸M oUC4s{çLAD~WY'Y}aXB ZCG*`b㿾l*\QcS V e~x(I&@LB ;/_LkfMT$J͞t&/d^Zvuܔ q)_ Ο_@dC݇=Xܑ-!ɾ%BYl&L3 zhZiلagBix64Fy9F )O!᱙ե4LpGyr)O` G3Y!hBٍJA'Kc⯑kc3 &⨍L>ɑ(Ho|W*T+RQQ~9k}8^/^BZwH?BTurŞGˇVO9ѿ) p†~355Hzvy (I*jU/LQ\bWCN6'=K&;U5cޏX N/!h#lj8I hc,1R@h+ء@&nQuy 3.&;8B"JEVzLOy{!G۝FZD#8oyWbj]dbI!;Xj\;$V56* $NJ2>ڎLP͓[Reb؈L'J㊿B_]Wn(i8\]IOEXRSGnOч)N2Jo_g+zDݘ Q+L[ a<Ȼf8q70%4Qc0Wr g"*> лGsmGJ >a2p-_GmvqK( ;uw &6r2]`9]Γ7H; >Ŵ&gdw( y{O>r%!YU`jkx҂4͈Y`gCxsaoF}3jÓPHPauwTqZ}iB+t#t/NH^vn_ :qutH-Oj&, #攽q(foŘbZ[tS_۹Mq~gYZ28ffc499045f8972d560d5ee1def47836e5dde17357008b0b2682019b352f15558029e5fdc78e3cf 6ed366e7eed5721240602f54453f44d2f0e04ea4cc767bca69b7b2c8bdf0048f678b965bd56aac48  HOLCF