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 ^^ D ]/]HOLCF:threads=2elapsed=16.045cpu=31.848gc=2.276factor=1.987zXZִF! 4]ŗXf1-q恈͐7ӺV -O\R6]W\2z#F<&>?>|9]_Jk|\ߺOS-Et掰um?P)b2+.'$R9}|ll@S4 "G1jr\G U,`ku2+ۑAiQ\0꙰)7ʰбn,M5WFU95ޞaעSG"up@Uy{>30V𭏥d:ӽ5DЃ k*a` Iˢ=U!FN ZJ~쾥3zpA_w\*a Ɗ l &8!CE ZD9 Iz&kJf0_'݈eS@g y0 !0@0s_qդe$|:X_}|y(_ו"@q;ԅvW~RZۯ"PK3 j}vz[l([lo P\6{|&`iݡGýrHsj VC.IVz;sYGń|/r}Cx*%H?ٕJ=7W&(<@/Pϥ.v%R`;/[=%R᜗*(b={ yKkgYZ7zXZִF! `]ŗXi%;Fz$:*Z믥M0itivk[eSo:]BOb#}ۤSó)Tl69A%SU|Ji4*\̝= ib|I0߼0<,xkcfc3ŔH ަxR ?ƟN]i2lFՈSD+_uMu5- ~6(Pd&q* 3[V%J /xHض7f_ \mIyH^k@Igi<R$ ,hQ>2ϤJMʦ[[jYN2Y|R1(" Ϻ3a+bڞo\ (t~hɅ@͘ڧpZ0 *Sn$l)k0DaTw/h$C'7@ jO]@jJ?^]V|19Y|11بN,{ 88W0*)1rc_3%F^.@ƨE;S2j5_@]A[J͘oMxWrC iV_1!|v޴؏]: oD>UrV6 Tm+4ݑB=ߞ"l'W*d[l8FQELmVKr~-|^Xb\;"Rwb j >qa3qx{>mynМѫFy0<SWX8,Jj`O&煻BW/U[vi9tRMKZ( WH]gzdH !:'# ֥bBi+ѱ1{3Vve#ݫN]=+vE"-*XP6I2 FY#ewqj XuO4DrY]}ɒXtT3=xQyLkK ke~ JI[] f0'۰Oy;FBWiVu]h\w,ϻ^qmaZmX ALCUOm601Y< Z.0 5p2>U[ܭ#^v;4${NbE`'P_oKڲ\d [9aMo5!ǝUr=5e>ɶDz~RqS{*sJ/eax{(JuH/ͱ ['So,iD;ѣ,28p2VURƈ^*ؕ)ux,"БN5,e(;-ƅўWtDJ}y Ч`&&;#S0 2gYZ9f5fa75276493797a97e5ae32bc395acb0fce4ded50d23da2fba2fa66eac370561c930ef78815f64 42ad9fe34f8eb64ea2663c9e76a55f6c21a58507f3c0eb87b6ea50244ffd6e2056021450d8313ef5  HOLCF