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  <<\ ]/]HOLCF:threads=6elapsed=11.571cpu=36.776gc=1.936factor=3.187zXZִF! >]ŗXf1-q恈͐7ӺV ༂Mb0v9?cGb 5Z;e3.i@0bN%X]f:yr` |޻UQxDy&gu3 q6sy~NN9f&UYmN M]29j>|f_Ɋ;8Okޟ?NwkunxGٱgYZ7zXZִF! V]ŗXiɟ>Ӈɇ9S2]XAPo?_dYYMCd-geR<M{;#P'66'C6|SdP\ӊI[j9-&̠|8eړ pXn\oU?Pt8tDrCN>Mz# SNہʺB!Bs{!o#&q%C&_iqq=nJƒ?le鼙}ʧ= $-m,h9$ U GIh&d Jp;)N =tM'Ou-1ʠb*{?ۻ``Q%wHiЬZ 7'-rEp͋w܇peE0:,UPfgf:\̮ʺ~WbgTФGV{Gu ~01|qЇ>Isbu~Yg ;?\=uBD=KgYZ7zXZִF! @cg]ŗXi%B$Ac #K4}/E<[7-,HE[2STYy,h0^ R:\u-p?hw'TͻXtԤmIy3|Y>f$J&֒Tms&[#5}|alB1#+y2뮄 D/o@6aQ݌QTJf?_e:m`'w'y1ʓ^N&n06a!h \- ,A~db*6I>b )@3L.k^)O!gR>5qRL}Zt+SrG0K.Skn#ʣy։5sYR`B#%N[e)HUܯg>0Z nl9gPKr5w8mtp,we&BFrado7$8B2q4H13-XCr{q&<5`ll(GYx}^۳jYש6y$2&>h?a.t$mwtn?} A5`||\PKMw-BW};?hKƪFfd+5zvtݬ6(CMiW^љ@a n|Yx)ui)C g-q5`0yH6a awaF$Dsz,26i{NRu9Sunrz?$g1+se +I C%3^N$2mj2-ΥfD~}@M%%)g$ќ 1>jd172mٱh+9e.rF(xM!8Wq]{Ea0Irc//|,W[983Nj3$~K\oMeԢ4τQc05rs{G;Ț] /aS&Q\lSUQjJCNE:2V'0Š+ j XV^JỦCrA+,FT{3֘ILg׸_CF(6_];&o^oz28zyS(.>xwⱘ/"dO[^Wtg6߈-GbyA 컔#f^sv`1vO>^u_I='=k!'8U("H Р)6dv .c&Pl`Iˍ×Kǒ1GQ%;]u/cQh'o8-= ]۩O gYZ748a5407b04b26db2a6682752317833c6b8952b1b54c917c7739586c95567d8d649d231ede1628ac 23e898e8397dbcce45e1c2a85750d285e5907f0023d1b5332920925fdfa74fa798839236a213282e  HOLCF