SQLite format 3@ .  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  4kCwuBekRy +,dbtȒz4 =twSWl1C<| |Fp*rwe22bx"Y5Ӈɇ9S2]k3Oi*-)c(}_~gS]5I!ouvÒraR3U\ǦhXe=N?b٠(m %V`/| k!5c(x`[=psaFNzL*`o j0XE"TCtXU;kcH6v+3JWSՓRA|.MMGZ7<r խA؂Yc+W?&Q̢œC37Nsl)>#dJbFCӇjHҨ-rrg>& '_+/MGnjnLr{kmp$:] Ib+9 ?-fӦm*,7-0@C&8`Zg 8XYccLy&W罫K/6R4hFyʜ%ܳ Cwh*d7Ky+>x$l)F$h%*.i} A"% kZPاlṞgYZ7zXZִF! F*]ŗXi%B KM\&!HjR'̗2KHC .&N/3gPƝE.lkL%4=P؎(wU44[Ճ$K=eϯFGIȠԷn}7,gpA]7i]וL6h4:6v9ţf)ˆcgC[>$8U9B|s9_Mprc,vJTcώb?1~t mh,z4Vȸ RRҳ-rUk+n_Q03q2rPFZ|C 8C9 cJ\zNֹXN5ToZ@7  4%x"hp;w&kNAmE_#XZȷQf38t:|  A|bԼ]&ЁhO,N94EBSsYΥ,@ +lK%2$";ی 1+D7|S)S)扅SBi?_oK!t':rgy jrhr"Wϡ`2'G4'>Z {g84,j]7>bjb!Sun%IѲi2Q:wpӇaqkR(fUmp~Gm 0hՈp)W_q}zOF -LO=l -:>`+RZly(k*@\D.KKǠL[bO&EJmky0閥m:jl6;B2.6+Yj(iD9W!AgA Vd&>1鈍f5݁zRywEk:TuY W»+s-qvg|0q\-JmUgtQչN-Xg[.oio˵'<v um #Ei2G6HH%ZhA%eWu3NH$#~_E0)CZ.4Yw=̼ĦKN_1%qo%+/.p,hHf?BkVcT.Q} (#)ی-Me½n&m8UJ8N>Ȗk!L$2!iH*֎a|!{B5s0Vfxzvd%-) ߇Յ6g s/vfrJH֠`%͚ ^t @t>msdCzڋptr4K;r*9tLN-IvLw=GG]JM-OZ*:|DvWLB ^ȵx7D]7V [XT[ʋcFJÉY ^b*ތۊBVȪy&JOv `KsgYZaf4d21e1260dad190d817160934f740ab98aa056854150d242a026a9a55d66c1a84d9e6fcd361b2f 4058a9d1c4ae0ea2523ff722e5dba8fe58289abf738ac06bce9802613f2c6da45dd13bcb90b312c7  HOLCF