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 k T4 ]/]HOLCF:threads=6elapsed=12.206cpu=34.856gc=1.548factor=2.867zXZִF! ]ŗXf1-q恈͐7ӺV w;GOy:Cir8% NVKh^̐n>V{V)YNݿf/౓EG=dx3 {n@ QEcs3r ` xF*-5,Or"\ CA8ٷW!x]s5eG^E}܏yuq~≕U"{Fܴ֭Q"+8@ANY#1Vtj}™<$&Kh%H$y7Mb%hsjwFFʊUOlMoF&5 S&7!${R%)_'[bQRk] SC c l8KKJZSFJ׾&)hNH0I,K$9ckPX}4;番36#jyAciBJ HRJ״§G@*V BV#9A hJt^՚ۏz|n[au*r‡ ޳DӒH^1g p$JrP&J딴^\{!\oxjET^O,EŸ1ûИ@-2^kdn^qJa1_)(y4HD"ge5yK%h7/k^\-+RgYZ7zXZִF! R]ŗXiɟ>Ӈɇ9S2]ʌAڪu>gDi5Įb4V}%{hX|E]h³=qq(OBItSuPf&2׋mC-yR!U]<jM0۾!*gIk ِv!)G (4K<]5vq%K5Em b6 si]5ǃثvlR,_v ;b;_i#S9V$.S9Z]YY==+-BE^xCK.xbXP&anɊWO|[r- )ƨBnK[lq LGps1p@?/j^ =΄T$WMW#[)ח4k\纫YQ" eq>Bt8y`NWm%)-?N)LarZLsgoIG_e  ||@WTFj+BQ $H<E7KocsngYZ7zXZִF! ;9]ŗXi%90!*3s11Etoha^Nn?;_ćʵu6Y ΖVr& [P-X[.$$~M7 4RҌ>ߣIb6No=V'j|zN#  ~W_$Э|4J n5!X.Ơo!pzA%tceL fqBrO?OUlၾ"m ~Q7>?.[C|U},6:4nV X~nT]vWvSI8q5 Ɲw|PGK>DL{>xJ %kNio C;KDz`*6cCD}6BG.7*rXP- }p01R _z ҂*VS3fbi-Z A :,Kc7h1R 8" ˳Y ?' Phj?\c֨ziG @Ѳ!Hk> b*Qkja5ނ*^Y\U 8ڂu)( 8>y*؀8_ohegV2:[ig~bp{@jsOF d$X5D*wu zsj!2ŀ|K5 f17 #f TbSx[Q U,YaV"TmJr>T*(EeN&Ѳ$ci9O.5u/c^Zm3tS:6hi {DBwړ`J^b2Ҕ]ruJ`M"{ۿb2Cr; B= dE`O4bE eW>e|2vygYZ21ce5fc609cf410a40c91e0c8097ebad5bdcc77ffa37635535c1a91559f94a7dc9acf81e08caa63c 108107ba6152a8567743bcd769d1dd970013adfa199aa39ebafa1191e1ea511048bc62894dbee8c4  HOLCF