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.493cpu=40.724gc=2.800factor=3.267zXZִF! ]ŗXf1-q恈͐7ӺV ༂Mb0v9?cGb 5Z;e3.i@0 k! Ps9@h1<:L\\ځ\Dc!NiM7uQqqUr _{>wWIq(~ z[Y`0k9faiif,uػZyBJX9þ[ t+ XcyRG8}`,;ğ4Qʫ:ۆs܀xrkQ5mS-k8MdC\퉤gsJQk0.Rơ`#mzndP ٩\`9^P'MʈA-2Udl˸ݜ"Qּ>pcyJ_ xE\ϵ50[ ?zKW!t3nC=`+$ Q:_G_A˲Ґ\4XE۰|4Sn%FaF/HH jI4hq/MtGZ,8A΀JyUdÂںWe =R>7oIx*|K8I"ݡ5gYZ7zXZִF! M]ŗXiɟ>Ӈɇ9S2]]cBs,)DQetå M62ۼ^rĜ}g d 91Ὼt->jU>D 7*X[-UL\֦ow.-F̟AhpZׅ/. I"H5#hhabN|upJ>3O9^|Y&M||.i0w .Iil%\\Xud!<Ѫ+DrvDu@7y$4WlJxulB rhzLVަ;Hj|\!X&LoS,)*d`{;8 `B"7oy:ΓP6g/x zs.LFhܭ:Ql쮂GlH ,=%~Y)[.t4`he'޿BH2c\m╕nu`UCsgYZ7zXZִF! E]ŗXi%G\ {" yd9aOs`O0W?wyTBb dEPbyPښ!rJ6ռr}tAz "58Mb 0#*ap JM̒b%p^Y2fDaľ ̘#0L]L+ aPI3J v4T*µ]Ve`}; ^8 җGJvfʘd-lؙ+#R(K*G8̎Ro(J0bdL\Զij UP[;:&p6}yS!ڏ.\CeQ8ڲ0O.sE4ˬ Q2|[-(a6.E+oMr$j`7N{3TDeW>H(]2%&R%|4aq6yKTmWX d>c !7wG }B_;4RKl̵,Y7,]Ym_M6:LE]Kooū>Ł `KGӃ\;64>f(Z&0i54XEdepl-HXYk(#E'zv .!FWO~)5UL=mW|JҎ,:3,lHkz*gjt'!]3 T$}"!.F} @rΑ Q`˽L5sTa|`ʄĖ~IikΓ;~aLye"o\ |R~4)'_\|01 # ̢qpvL̻ۈvf96 r-y>gH\["HEzՉEذNeM`}#q~>cWOjMeV} .EG{h! ~΀340xˍ|-s v)_".lMQI~|-EzqvpHq։Ҧ ҆|5akbΩxuCOq0A%P"pj/[KBX/~FTxN-k[frF BX!W/3$rՍ^xHS2/"JB'u>?Gvxr_˧hmc \Ac-82G1g "hi; BQ~zlȅ;&f x0-ܴ1O=`6em8ex." uWr_Ӥ_II 9=~ *gYZ29b1acbd828741e05ffe0cfeedfd645f19b53adf50c1749019ca8e9ffc93963cc99307460c2e0e80 52a64cfec0259bfb8fb24d12fa7de6a2d1ccd80f48c4a92898b88e0943640311a4c87d5f0b41daa7  HOLCF