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 o d4| ]/]HOLCF:threads=6elapsed=11.669cpu=36.740gc=1.864factor=3.157zXZִF! .]ŗXf1-q恈͐7ӺV ༂Mb0v9?cGb 5Z;e3.i@05]'OV%^j{(kd|Nn\X}463clVܲeC#e ͇N6nmu-XO}D-6&Vd;ծBBJKf0RSdZl#fؕw?5Ba SQcmI&Px %0 !:$kfȌ씡z3,wA'}Q.Q0o%'N|8H9= ?;|cL{Tu9~j{¬'+=*Ҹ<~aʞW30R*IM7sPFw%5#pɸr *T$( ]ӗ Ciszh&&#'>,,b(&6̅/sf{! 8] {#C`GU AgYZ7zXZִF! R]ŗXiɟ>Ӈɇ9S2]X$3TbcOE6p*Uj?v,IYΝ[ aLf]!QagZLv*MqC&B+r`)0 ߃{U+dnYNw5>3ZE7S7z!vfc~ cŇjt."PƎ梺 ÖAGL22A\KUeTr #D1vp@V{ Rsא%n(?ټ$B1Z8DCXc=M*($e? 2-Tb*]-k\–hYa{zW 24rxs``$#Wv 'vK=Srüul >tZj,{ #E6aj8TjX>x+ڰY_]p8{l2_Ř ;5ʘH*!>(+k֢\&:咼FjK5!9q*Ð̕QYYs{RN AB][/ٖ"!csngYZ7zXZִF! C"]ŗXi%'-ܧ(d@Ĥ%h;2%'"֟}& P^]ޭFOr跥W(ȘU|>uJ[BJtŧ(Dg'8NHFpct%vzŁicp P"ڥM@y`{x Zb3_} |+;M5BnʭgN(!?`L쇊_R»Sr! l/M4 HMD+g2Tp{h Ds:>Zqk3{}jtá'~酸b8Mw,f**_ƼE+RR{ZvXimU#C'ŜACW|]QXGW$,:HA?'2nC+-Uq;m`'moƝ L@}hw@~%U,qz37J>{OA&MhrqF!HШFXp-OCbTShWn,qCz'auANtIfcem m !QK=!EQrʓ_x_7ҧiye9ys7gJ>aoO^EL\K3l⇥Q'];WXpԴэ-B,&"[qy E*?PKřXxJ,n$% qK+t`t~ -9[T6%'z&H31aFuQAI1:M-<ݩ9"&b27l-z(n -f]zmOL&#mX.Cي4+Qe.DyQɔ#>}G!"<žMxFyƶD毫.\p={7BGX{#?SkXmJDUbf˃e_Q0lD3sZ{lPi+ { 9ϫrA>L[]COXgP1JhoͲw5}/^X4$b#~rjpxS1g ίXNsU2x.£;5@}/}8_^=K)Е̍P*0bD=Ճ(3i~g/=yN}.~3,v;],QϳSlZKa;UšGzG*~C8 kRgYZ31b50806cfbef5ea9df34d7ebeb90b52ab66247778a3df3deb9d45514fea086c8beb2a7c1a1ba790 049b979b2a06b0d5c1c847e5ecbd9c6d211697f3c72de2477ea8a57228677f25c136391470ac5586  HOLCF