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 ::C l< ]/]HOLCF:threads=6elapsed=14.787cpu=40.988gc=2.396factor=2.777zXZִF!  /]ŗXf1-q恈͐7ӺV w;GOy:Cir8% NVKh^̐n>V}kQ&aXDzvkI4ےLJ9hFY_bvsߛ,lts 6I "X!(VS i:gͶP{Iwz1`AAn1)][d[(Jip1dJ[V3A`ձ}}E(~- !HI6ܯ`O+kA[pxml-^=@ 9:u|TJ&ݱ '1e3e\Z(C8!xD@AE/Z<Єuqʶ/Uqv Ւ+n3*1Bm9$>4Ab yeSƘ,6g?g*li ^0:7z$I;碽~>.}/! e"|; tnZo@'ch 1lE%cy)dUOu0.=ȁ;TD譤.RWwS>6[@"f_X%#Xh H,?@2-6; 6jKS;,RX3ɨM7-ʡq`NN=wl1@Yl|=GӇɇ9S2]k1{ai_[u(E8%cRL~+%e?%3z&9zwTqqdZ몌Ve&neCIBbѭ:蜰9Y3{wMy!}ft:'i:$]xvjcOKrZq_}bD,n>+\<щ` +I;W~[:w=V1Ϫ9BέMo9K0 JywAi~oE^iakTYę@M\4?! }NvB wG#S?s._fxtsw\i^k(#!_.݈jpտ\pܼJc''2=9`O}wp꒭ॷk%Ynmυy\褜;0enazNf0@w{hhy&6k0@*اN* 6K.1Ju6.xҾΥZn?!-%9=&?BSj\tEBίd2=#@!g~y`:;-:gYZ7zXZִF! F]ŗXi%;[ \#W|vMrߖNp^,> 6^ $:E{j4T<_ Ⱦ4"] ZC^J`:ϒ5X0źG&nfI<]B4 {q>-ezwT}ŪAx_bcN.<5(Dװ狙hü-iŽhu"cwgE˚,j0v+ajv@kV[I@y^uYފkxDSnx&Or׊]gvG_}QJj;D~ZdC-9)aow|9fUl>ңQjQ(2(i`,z|ah~ǡ#u OQǫMIѶxѩbB086jՠmMH.(fA.nIy]EZvOi.N!K"LyWg(10DºMGOzR͢jdȊ:Ky8X稽s8??q|}ancz( P %;&o~ FEaeV;[C! <zM-ROp"lgxjj6L;\2yX\n )8D_Re3j`>C {LVƎBW,i_]0v5YEa\t+b",TQ=|!M9P.Fnϑ2x#s6r0 >Syl%YQ7 ST THda]S H +{BoX H9?O^p>HB pf҄TkX}@8w (+pݱzO-Y)}.d@!rQ o@r܏ SGN 2fu yN@?nla`k;иހ+HL;ךo_ywٯ_'n ]Cή*'ӭgh9e6(o%P,#@*岠 (Ż7&7 =P5iz` h2q yˤJ<M 5gYZ508357c7cc1fcc8606d179bc812a6e39fc46f211bbfa36403cf9764db93df21a36477abcced74de8 08d053295dd87951969cb4a9512b84a47f7a7d609266b57d3891c724b4419e827344bbcaefb75474  HOLCF