SQLite format 3@ . YYQ77Atableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_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 b $| ]]HOLCF:threads=2elapsed=17.202cpu=32.180gc=1.932factor=1.877zXZִF!  ]ŗXf1-qN?dO*4 ᅉ(Xu>4X_j`pfb&HH"48bZ^a]he=k SnVN i-Blg_ϴاDY^6;DdQXѷv8$e@--K@,G5E; FybI qUV*a*;Km"lr']g+jlfw{"_nTl}la5tfou~9(Q=2Uٶ鰆+X:5$h?s\ GeEz :Qޅ!4NJ]v]jK],[esP;tM@V͹qܭJr P*ف?lΥ˃]ANkTܦlWl &sNXo3Zw6hRԉtжR.vEZcNt&+QROelVUffJ{ze D k(gYZ7zXZִF! b5]ŗXi%6?0"] 8D?yxEҢm#*kA1,D%n*;ZyCU1koo1l(Gy,#V1ZoR*._u { -4"IUzk }g>ihҫYOGt,07QzWh15'r|͢ΨaN b A3N<,!ARza+Dg8480=&nW탅4ULk@yN9PUzF#__mtFSG@K1~=gx"<; nLtYŒ4&..rt9P=@fiQQh)\x7_ˬ?PؒU=#3Zm"thphps!`eԤwdDss`1/'#fv@vcִ)aLZХl,ǚį8:` y^Z7-U`W,%0ųI:_+3{WDC1Z?Fx-sMu O~2Mp*$Gڴw,)` }-[״Ni߽:-";#jޡN%1c߂މf.̘V  ,Rfڕ#>ft_v|l~kI,_;d'WFȘDZ<QK;N? 0(`'Nm%|K!C&Q('g&)j0qhpTl։ # \v^YqObQq5~|E@~?q[ `Ns|"(4\ϣ9b!N2 FMMK۔m;EtZ€RA63 7Tp#Jp2ԈhpsPTl(WP$H Afvya5k7%pR﮹2<_d~"Nw0! F^lx'\H!nfT _o>=n:܈>Ir i 4LQ1C|?mU j JA W'VgYZ7824ebde80bee3bcdabc08094d786fc01963a2e2e003033e0a1df248159cfae37f3521344e99dff4 bd9d5b59f62cee787b745a18e37ce78675bf828e 51bca5798766ae8b6082d8e3253d02652fec40312482957401095775da64799f933cd36f56916949  HOLCF