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  J|t ]S HOLCF-ex:threads=2elapsed=4.770cpu=9.368gc=0.260factor=1.967zXZִF! I]ŗXf1-qNe(rp.ru$s<ߖYA1簫a8䶌0qQi[|ђ uWP=0(78*r4̤bSv5XwZgʢ6ɽL9IDa\Q>/׏.ωA~ey'',$1nfY0OT貋yvQLW;M0HTX {h7/(%BFgYZ7zXZִF!  ]ŗXiɟ>Ӈ[ aPLYU}h'C4 ./W̗4qX,d̀e/#AXD^nL}4 +Dua9q6DUԽ6ڿvku~{Bv_= σ sY8t\4btyNSF}%G?E _;..,rPWb~qTb~նsOT*"RVΈ)VbqE:R=Adt&+V垅P *WrgYZ7zXZִF! q]ŗXi%;("1%=8o.0OUQzMˠ2T dJ?<."0 ȐAu_UJde"blV]u%R9уټe9g\س*7}#cu6!G lLcɑ *puRqYDᰎi$]%58JHxO2|ƥ)luT40R,_fn*PY]W ź۰˔͹?A&RSy*Aշ®R_ 檿~#t_}J)S,iϣ0=zrHCYf,({v w:.P_x6Z)P<-V8.ԉ̴hSGVB6p@Oo. T{m5@lsU{7VcE8ѠGLʜaɸc'dUѲ~VIm` \}*EZ!C ;VHm7B;aO <F0KtMGht}m<#\nV2be=I%LΘ8(V2+':qsUKS+uc]%50Y\e<eW>#3M.gYZda55c275e07555ce23881cce0d0d2a796706dc8adb6f05ad5884c3d4b639d9f4b203792d5968e568 8f4009a03cb4dc8972f8428957511cea3c656c5b e1a49eba39be39a6d30f2432d1e20f9f853d1a3e 31ccd7b75609d4dd3a21a6c4cb126387bfc123ca   HOLCF-ex