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 L ]]HOLCF:threads=6elapsed=13.444cpu=32.988gc=1.700factor=2.457zXZִF! N]ŗXf1-qN?dO*4 ᅉ(Xu>4X_j`pfb&H?W"n?0UD=i>*P=s^Ĥp$"Y|=- 88m(bz'ڼyd#źPC0TEq@.{ 7p/3ipK_+nKuըdvb/QWNgYZ7zXZִF! ?]ŗXi%6s&=|Y)d4KiYwS2oH;rŁ 7M 39 @u-;wo64\ڱ] 6nY{ĹgP,mgݍ f/f &Q͝MBb^hT\b ͎I?k_z,a/.$ZuL8Z|uI66` @4U]=>eµ®8Yhc][~ki JT8NҦ\*~Bv2!)sz½ಡu&;,\ƕ /VW&ԍ[N]nW+Rrv)1mm_W|Mդ! m"-QGpZ RU˝'5N!jgEMV47s3_'V$5슟F5_&iOWwpBq;7Pfo֐׫TjX*Jv1{g_i6+( pضׁUfN4h#S'ZԥP^3+A"U4?Y62wan!w@y &p?SIY+Is Z{>pvJ#кʻS\7~1KG6U8;qy9x"W0zMN/aC^AwTnH~cҺyOlvS6~P>!3v>K ֔w1jb:+ЪJ1$ÜײA鷐`P67mtg*L7ʳ0}ZPX6E%"/ u,UA# ĮZ鶋0b a;ifU̓\<aOmLLT0~'.;9m]"+2k>CK7҆]crRC=Up Lt}3Aol y|{v~p? v#nb1%~}&Ui}dʶ0ՕZL3)S g*IݱgYZb9b353c179f6230f82fdb1f5d3e50f04e32dcbb9cb9068c52176507145e624acbeec2272a10e4f6a 87206ccabfeb1d393ed2571f867fc3906cc88dd1 fc60ea1877710c55efdbefd683bd6d53b3f571754e7bc532b95eb5fe1315f15c694eead5576b7834  HOLCF