SQLite format 3@ . BBh77otableisabelle_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 JJ3 L4 ]/]HOLCF:threads=2elapsed=15.685cpu=31.176gc=2.112factor=1.997zXZִF! ]ŗXf1-q恈͐7ӺV -O\R6]W\2z#F<&>?>|9]_J\}߳I4-_J"Q -Ӆ]І+r(R5Wt9+䯚zJi#mc},3Ǐ4,('Q)ncPZ0;+5+m%9U:\LiZ l5LUa̝_]n,[; D|&? EJ_xH8ܯ fOHkр;ITV @90|T]h(Gm̷2[^" =z{VQ<,4Wl,6b0ej4<!?ToGb(ƉԴJP ܅<{X<қ4լCw̵-e aYTt}iOoaH)b/"m`f&.q*XÓXF94t0yAAjڟm#3_a (wOSB=3RFp51۵L&//3@qFI|)VCp- _ On5.]׿Ϯ8ZD``$ұgYZ7zXZִF! `]ŗXi%;P^&u,\S H G}.5(`=2N!n^Yf`t-VY"NPk QYn, O#c.bG|DOrQ; ߷{-/*}}4: DAi-.f!!G~Q}DuROa>՟?l9v~\%#Y 4 ]d8;D}?OOw >\ضѱbYvt nY% JDqG[xu.ww .8KW)=x/"kw/ ]l5PB ڸ#/ϯc+c)noo]_0.A.P^@Ae%^jqS5]pCz=_ֻ'ٙh ɶ\eZssYh_R)Z) P_G *Γ01}\u.qHդ dDPXsP-dEEy=zYNda2Zګ bk2]nq 2rl6iHUœ6vhY^ XC{oP EFDH? ]8@xn3? 8Sv.3<oz>>Zd%fy2zY; V$$ KC/Pħ\392~{=CQeeme^|iq{:sCQ*ବL8Q T;WW_,\~[aA<@]TwFZ Y\xA 5%@A@:[>Cj Bwl{~uCMVsRKnz{6UcyO&+ ß]F&?n {QQ9["!t+ȏ<4% "~nUלƬz iel-#z<iLk@vqRD_ #*^^6Zna٥ZLʃ_ _ .=jgYZ8a42366e3f755cd5eb00d7c25d99eb2f87aa20234b2e4ef84f2f7c72f1d619e9e1af08455389b338 22f28afacbb5196a9cbfd43de2031d5f2e9b1dc092b4e13dba5295bfc710779f7d0677aed6cf27c4  HOLCF