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  { D ]S HOLCF-ex:threads=2elapsed=5.407cpu=10.592gc=0.452factor=1.967zXZִF! ]ŗXf1-qNe+A]}q#=P vUΌeppoRD|3sul*ffB1yYlq"Lɯ6-̽-732 5IB7)}#}ݺThk#3 Ipd N!>+njdw2RL$ k9%K0rQFmu.ԩ#*y(cJG"+q WX(VgYZ7zXZִF!  ]ŗXiɟ>Ӈ[ aPLYU}h'C4OnAW_Q/CM~!6Q۔nD+:AN=48*w~24Q2*Tlsʿl-Wd:W_SkU|Ɉ%PB8ӏ H鄋]p[6@{-z]䍜+`9v hJ8.} 4@&,Y{ga»)i-i}#XEbLXgYZ7zXZִF! ]ŗXi%9(PKYY&MkJ:ߟpvxqI+*w}F-Pf>+YcRsc霆R4ޮh:.هF64T 51 {ſvGb^; d,m v-:MZ;_x?1_zùϛ.@Ikp=D3~?2-]u";QhZ"v| nMG4wϳLvQ"v8F|G1y|6Ƴtt͞Cl?k:~ &tcEmRKkf$;:BGϗnR769?:l^7!1\r9W }rM@||@79]L`pF4k~Y3mX |n"HElDש#< '0b@X]Jq̓Aߕ6kx9a)O +e^~ i#{!LXnX LtҬ&B^9F2>G RA!}vڽAEz_# oOװG}=s]YdS2쳚N"ay`צ* Gɥfe8=c j1<_}VgI‹<8,gYZd46f410a834c3079a5d20ab4e7c954ab192fd9caf24b23d736d58b1fe016b056b4dfd4a4dd6aaa09 ccc1058afc7081b1aba3b6c9fc5c481fbc1fb4bf 2529148cb00af14d06702c18665dd405f71110ec 2c9c75a2a901b51a1c2373b89cc0cad5f0265a13   HOLCF-ex