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 ee' \, O]HOLCF-Library:threads=2elapsed=15.694cpu=29.000gc=0.996factor=1.857zXZִF! ]ŗXf1-qN ~mG&rVpbf4&@`ꆜSؗ^?H+wM(/){,t>Ves$"K")^儸/Ygj@sLi0gӗP[N8wGJX5HDi[6:W'nk#vc:M}8VH6$GrzŞ~vЌMnb t.ѭY35[Wֻ+N^2`v F tEhCX@`UHΤۮ ,=WPrK{A*-; y m\+νodⵔ;vGzAeN5=7Y1<=ÀT<$ȸ4Z.4L[ KNĄs3tiuk Fw$ f'WjπדԸ큒v޹I;mkc@1 |%M}=:ޟ'=;FܴS[;HJ6^PpQ-޲$ ~Xt^3ZC*uWl 2%E{e<4`ElqY'scs Qww S}ƤȇS#{gYZ7zXZִF! H]ŗXi%6xdGiߒҼ˘Wpsi]ozz/spQ&?9s?xCopVuQ  rf#iաG 4G/Gjo9kyZijNxEQIˀ!tH;~Q8Yi>/gmxcvlL*iaC#>|5jY*d_hX4><Ybp jZ?]2+QOF aRID4$;>@5'nj|t!a[wcC\R8O$fopawe&=uv_W q[qfsæM4T {}Z0kNnU&*mk~M ?6YTjVgmNvV~@i^lme9+NCǓ; p jmz1d{0#@}y*T!tQ8-FIl$tOTl *O־]12Z+ 0l'Gdܭǀkд=ڻ˖(uO ʤCfpepvK[R(4STg.=6/3QZ>vittZxT)\Itc%80#E7p:V%EFeGa\*STOo(HU^TOKPN>oaW|վa..!AvRqPq6j$."%Q6,o/{_"  9}J:v|ᢼj+aѰ) 5HuN=8'S V5ĺbq\~>o hbA|7n1(˚|`ʫf'yU:nz+UD ,"5lH\r С#)Sl*QhGdeo"KOXIh;P&F&Yһ`f^_Dn +d{RpS M{$g :]7'3%Dus"TïZu^SIK1R vgbk=kJlHpl3E9DJ