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 g t.u逿q]kM-!4xN0.[זTu}/HJfDRԀ6oqGPH=?j^tRfJf VM1Qx+ԛ#Ay#7~‘b#Wf<`ܱ$X?[TTRS 3^ d!tJňuSbSNԙ?馈EyQ6S%]w1{2݊s}or}1| &j5=Ҹ! K Ԓw;L)6nd 'gH:ΈÍ8hx$Jrb'1- } v}&<>|CBy`N+ rvD!lLgYZ7zXZִF! W]ŗXiɟ>Ӈɇ9S2]k5UOi΢(`Ȯ1-_ K{I19Ac`G} 8w;oז"wmLh к`t"“kc ؏Y=Ey+E$Cj] G @9̙fD9ꩶrQ^d^-cMk>{K8ЀXā\v:rmtlcU2uNbU!)mF<@+F\A!o=D# >2Pc ;oFA_:b;hND?`pZLgt/ryƮB @ FJL6T4/QYH>ubi<>Tj"Z_k/æcӨ,TŜ[_*+GVm,e' 2SoNǃpuKuB16og Kº!%\1_3 :Ff ܋]@ 5ڻrXwHʴ~&~+]{fƟa? x=.C0d!uod,ļ9-O[ܵ4.)oMRC6&bѱgYZ7zXZִF! pޛ(e֚]^y ">yjr,مmo#μiԳxczF<)5v[eP'H.J1\֧R%3a&xN BEkmmokK(hʾPQ"/ն];`]Pm7INPxO¸18_E`akm1lE  8XU4ze,xچw'8$8k% (ەgF%uhr)`:Hx=ԀL/kY2c.TI^vR^* )RuM *zv+m6O/֊˜!qd 9#Bt9`-Kf9q, E2,,~!-psXRENP>nު]ЀYoy(]1p(O"k#f^RA\x~ \ޑUP﫧ӝd60sHuS3T  !쎎B+VI0=coW )\-4nfNZh}ŀPk2|<˶d5P)C6^-g P,DΘd[Lf5:#ܭԏ9 Z 1كvhGʟ+erj/I/~Y|)T㜻6e+-qb~@ǃMR_}]oZZPO/}`;' mP?"ko-Na/L3kZg̝J?MmA81vlʦ>]ƎV׼VF: ۞p?YJW9kI>C&d5t1u)eb Lyq#t=?\*o-`6`ڇ5>jx+汶x痶*ޝJIBxֱgYZ99c01d27adac39a212892b1a4487db7b24a5c709dd3df6fd1fc63d31a2930446f6245215ba2d6c82 67f7986e25a1516c3b4689ee73dd4dab4fe8bea376ec828445038372394f2a96106d1add12a4b34c  HOLCF