SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "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 jj 4$ ]/]HOLCF:threads=6elapsed=12.871cpu=39.980gc=2.400factor=3.117zXZִF! ]ŗXf1-q恈͐7ӺV w;GOy:Cir8% NVKh^̐n>ViL s WKlg)nQrZue|Hj/jH#"nMi0- AZ o(Cb?(h|~(86Dn [< ~$+%U+*/"9tT,ֳQ+/R!FazDuU9 $Wez- 7nAtOy2sYQ2rL+tI gc_CPf-Xf[B,+sef_Nv@2k҆ Pdhw)4mcT{=wxz\/|V0`=TߌY-;q'KȯNrL|dY!߮D @䏘 H>ikq `tcpE )+0ӡJ+b ;]?AB15 YV{p^_\~ xpz}Nn H=׉hzc?@S_ʰiؖ0ai^s9>W98`(-R:[m'[g1 4zᅌr`0 V)|Meyv.Dj18W5_zi?gf~z_> >^^?C38?ef8_FBx< % 2'cޅgYZ7zXZִF! S]ŗXiɟ>Ӈɇ9S2]zyf?ߋf}gS9))=I+5Zꩇͷjl-_-W#bb/\-jԼOnհxe ںJ4koWYFhX˞CAZ7rԋLXj&@a ;rHSN^Z~^=CZ2 ul `Y)q /O.$~eΣlEf1j!5&Q$[iLs~* zoL:-r/ BC.Jc0c܋욷.P;9@ny5nf J8 Q}!g+K.^؂x3`U5p6ܦt32a M<9e)vqcK*Q> :?ˁV^պybh`(n NMfpb`O(26уgJ:īf$c2̓rM>>tld{vG<-Ƌ@>TDv#]-eƠ楱gYZ7zXZִF! >]ŗXi%AY_sܰwLE* r9nru:X7% + ݊_zlef] ~nx1$|T|M$|fXZLu Pn|^n9-\6]'p_A_Z=H0c/gR='-c;ȿb2vg4hwH܈<2%|(7r)PQ,J^LDF뭖M{|j?}m̎ť;.9+#3i(\۔tXjW0}tޥ̻xnAA#+sf[XZԵ7=,2tL,OEe}5Iaܠxң7ՊT#eE+\cJ_]kÑ+Y`p*yb /ji׮Owtr\!Kv~#h!#ti2Hg {m|tqOkЄ1r~SD1+Qyn8oܜ>ɉPvX;Wz)d9OVA ?~R脱9acWs# <>lˬlߚ6j̎H[.y 1?Ghg e|t9je]rʹL\>AkB(w ߧ]ZA༂ 9ˮ r{|SEQ9REDN".bﯡTs_LqR`bVcAեeJHW@$ߩ‡"H$&!%vygOUxkCa`J(dˢk3V ܃RRH+{᷹I_ „u1Xv1uIbOmbiF (TiU܀Rxl,U" 0pIal"ji}_j9c8ɯy|@炿'JS3Y4VO_uP u[({p3'0fM'|ufpo|F| <Udw }G=gYZbd986fc3c8679d81554b82b56bcf09a725d6a917cc4f324134101a29125fabe50ef51b536e28ea56 047d2e97f704b6e2b320b2d6445d72a0e13742463ebd21037d595562adf488da3edd89da0bb63742  HOLCF