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 66G 4t ]/]HOLCF:threads=6elapsed=12.281cpu=35.084gc=1.848factor=2.867zXZִF! 1]ŗXf1-q恈͐7ӺV w;GOy:Cir8% NV c:iN1IqS5tR+ *#0Wt KOXmx}=: jSOЈl8q=~ďqv`)h(?E\wsVr)na.΍w`܅;$eOoS|]f|`IU4}(6jIן̘RA—ūSf= F<E$gEr[,&iڳkP+B\կ|AܥzR3w2LAjyđj򷭜GzsT=Go]+RL~ikoA [wPgYbHpBgg)4pJBm̙'t\whI'PaoM3?GvZ>ॠ.J?@xٌܹVh(^ydΊF0̮-j"&}g-><`eU ;=0lw'xnk$ĩ"^.HVq?4}fEWxT۫#Q7%=oq|-`>(gYZ7zXZִF! Q]ŗXiɟ>Ӈɇ9S2]zj?Q2B+*̯}H i c8!>@7%bE@4בta9E Yq([jh^c[iruZTM527҂TyNXŗ <ɧ9+EԊs# 4͛n($BX%u:Q}0|W- Q Y)XZ҂Mx`!'t.Ӿ&WoX?ζ\"7? ®\{OËabQ=7,OEX2ch=dr`ewoai^rDox 2EXQz:|![%ģA>I>bՙ"|~ŤUk|?;rC`_ٸ mPdgq\$g >"Mœ@w2j.gYZ7zXZִF! ;4]ŗXi%;kFB[fߙw%1'$KY~ā熰/tx8viGߝþ|4Xߌ1[b%3'(^;tC}l ;XeAM+P VFqVH9Ub eœo>dhj?} /nyz.8ΓntշGwj}oSܨ"\k]^l0rKv◼'s 6ްh.rd2`NigQEEb$WhNj*:2l" rEgm6TicG v͏V׽}<0p~zG(%35$GzuwN08L;+V\wÂޭf| E݄Hu,Za4zm/D׀j$<}'$Ǔ!'Ҟw AGuW8(2L6f(?р۫1O{QRE/ܘsd+:*60EYW_BmW }wX0  '9#T}"-fnGfã>huT-3Nsdj%IכitSǓ~hU Ϗ-!K[@(\nL=RA" #a.m kr:\(P3v!0F3k.?RC8$u J;vْgYZf428593d9914911d11a492da57e98979a8eda8071667ce1fcb30adc5ce6fcdb5feb10204550c27ec e9aae1d42c4adf660df67523aa6bdbf83e56d019b8f739bba447c7e18177c3f112e7a285e337a3d1  HOLCF