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 ..O ,b@BH.P߆N̳YʪE3o̗R\&RVC圐u&}]K>RG_ׇU}s]T*p擓?_= cE p0J<0I:!mich-J8blr @7]"/q(rש>H|C GLn]zdCy WA[!U,IQLOSluņ,w3_B@+'_ԢCǟA?|0G$n/S"Űqá#sZ8I¯H&Q3?CN޾#agqzd5@k|pn{KZ[X0,J(ь*e影W@vE,ZL/7`s'%bX1vDۥ#cyvU0Ƈj0_G5^ Vح0!w!"gYZ7zXZִF! U]ŗXiɟ>Ӈɇ9S2]h( /)qWtu_)[U!9O:KgtiKгtև`8ovX>3$`6iC*=x[pyIKǨYNX,Y,Tᛝx s:=k6}(\j-]l MvkMsA. (okp@~r~ xǦ.,y'JMܙrSkCiA2 5Em` 2`-"kιoQ{AMYvϤ@Q3 ,ET)ӬxCvV).snLR:{\Zu<}tE#~cRfEM~cn͓5+L0AȹWPyL,?Vڏ0^Cآ@OaE5G]39)+-ک@c8[ e)q0AL?%EPlECA Gb{oS &rrv դ?cz05;%яRV(@|ZeMшVnSAMKɑf".NYVK " a䷨ }.Οm)k)eF-%>.A+"NX'$Lkb{C}^`cMspDgwjցu8$d,K#(4)BחQaYڄ#RfFj7 hKwD[$r{F>NHG[GNXOFBOtSA `(҈[ ɋgYZaa99f04774a1b4eeaac99f12155cfdf8489255adead191c1009fcececd2b78f8be974a6d6d02ee13 2109ae05d8f5ff853965c98e95c82e59021ebaa7a3ae42052d21012e0c345ed2b3140a28f767a740  HOLCF