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 &&W 4Ld ]/]HOLCF:threads=6elapsed=14.753cpu=41.148gc=2.476factor=2.797zXZִF! ]ŗXf1-q恈͐7ӺV w;GOy:Cir8% NVKh^̐n>V~N}r[)űY0+tfN_1h`t~%GC>,B@@GPwOM8^˴o c4I A7 "LYεi06<-2*92"LJt՜˒Pu_l"Gc|_"./ؑ'?]]t`=r=JAM\bn7&%݊݀%Z6BN@4%"d8r|Ђf#30g tAS뿵rqq. h+957N.>mTN-oftǀrԙv7. @M|D?Q[4ԅI_#!䭵T"y:vG7 ])5$ջރ%y`IAy=,zX [dfm-D /w-&KS+$Jy*K2($ sНg܆?6MKE'NtL9a33&BORո4'6I=2kobu%Ja'7%gYZ7zXZִF! ]]ŗXiɟ>Ӈɇ9S2]% )kh4b;_Es|~ J۝eeGCN#M͓AC=JZ 74 qo>\W m o;7jPg@4áߢCqfE#,Vh? :+ #;^ֺM٢c.9DxU*[85rV߹'OpSd'&{s);RjIfsWRv!I(,I>* .oJC(S8FBq{V]Kp3NSܧ 0RB4Ep,#irdzL&Fb `Sy@ K 9W{$N ,'("{X*U\;rЦy=kf՛y({e)~ED0LjhS# t@AipgYZ7zXZִF! F]ŗXi%;P"Ram:¤!@C`:&xFPݿa'RLZE - }@&ei~ IR}&AM[;Z=GͩfկOͺLop;QOFXK򛦤+v;ȩHT1a^KpоS^!52\6M+ÈX2HGlǁO  +c(a g+ k\ Ƕv$(:xtXOT.Iz J_>Gpy!*alv 5ʌPZaYpa$*= N/Oc% ^gˁ]Q=X^nMȽ\uIPT(ˀ[GM(V?8ݴiC\$kpW2_cDhIGr Pf<"?gНLK$$ Lmm Fs[Lӟj6lSq#BW)]AA/ %䚹+C~U=h}#,?AzFFחZ7_k4VˤЈ"O@"G W!a| ]LfH{ I&0u ҔЮ*Q=zgj)8֑~X`-7=7J$(|7f>.JE).,@0rd dhHesycjȗj"6ftZ..?/D) '꺬tKqޣ&=fO,c +,h^k&y'*f>{~/<|t<1J|,r*El2;SaNU@_n>L j> "@4ܩ}o1NZR&#ȝMu4Ke+ḋP8Bh*79>mq]:  3gYZ8a42366e3f755cd5eb00d7c25d99eb2f87aa20237ebc77e06d0e52a3d23b989ac3a5cdf6ba4e38da 173ebb4f87bc782b63cf102fdfc8b061631d5b0f14675b0fedbfeffd7899332ac7da164b8b6ba094  HOLCF