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  t D ]/]HOLCF:threads=2elapsed=16.577cpu=32.664gc=2.012factor=1.977zXZִF! (]ŗXf1-q恈͐7ӺV -O\R6]W\2z#F<&>?>|9]_J D[dAu ^ih(7Ubr5KV>~koàJ3"ǭMrϥAl ?񩮰2Z~ 鉮^wf:WU5ۛ[{t8eXXc43hϋ֖gߐ ͗ʒY ހ3&)Td}m4fȷf~E'.Os!GK3SHc'oC;=L[|>YJ`X ~DYǍBhgvt(1F Kg+^pI5K_NPsZ_Bi).6dK5x!ULC+i6H$Bfk NpB{eEByZ(AШlAWJh:u5~y(tHq@0歴A0 ؈kDG}Rh*=a\#|\`\$ &v7鲀򰁶u4Lya7; fm\b{M?3R_9(^H$8f %gYZ7zXZִF! =]ŗXiɟ1˦r~KunύNN{ңyonnd&U9wsHFIi6ucqjqWkJOTí4.4OӜJ̡KM1#]!8}+u[I!%f ˺e78՝B gC+ʲ6(r҃+Wwk gnufI&"Cc riA)uLm?yD,fW[[M&z'+15U}E.5T50ssgƸj 3WP FUs)ρ$@pF0W!j{섴Ąg6,Mz-U7*C~S7p.O'X1,J\EWY6w:L1t>L` =%W"&kmRH0 @Ftw;#V`'0q`x.PDrKBkA_^вe^ˏQHZ| 2(lfJjG8"fJ!f;:5V@͇yUErn 2aslKob{kR_ZB:(]u5}~ApHX섀!f?M֑AR!4f{S`Z1d`(hߤ( 9 _<{pU&.iٶnF"al l2]=֝ŏ: T1,հŏ4MK}ix!{;-%ǤblfKĶpx 7W<!jʕ&BV3ō#=6c YGgZDwo$%KGcZR> ۙʼޛm4ѽ;_[-)߉d2Rтzeu5\`@UYMt+ؤ z9],nkþ+"}c t;ߌ2D爣" lN\PZ"gP.:#Tep#AOBxI!c7PvW> ?k4Y-Rւ u`k“~\ԁVvvͽ~ tB5f ZEɒwH/-_:%bu(aV3~4=W#2.iYH5/9< WY?JTHq ZSKM!VU~2s [2Ζ"Ood*w6 Ϥa㎏IW|A37aW xع;lmt{ `]Zi}PYW[̒$ [ gYZa051c378758568b510bc8a767fec1c81e35def333d2535d0e4bd099c4cd2accf026f19c1b93bdee5 50545c59d9a0cde6fc6aa2a10bdc86c2adbe3a475fdcde6d18a35eda1496fcb89eb0b0641ce2cbb2  HOLCF