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 y) \ , ] HOLCF-Tutorial:threads=2elapsed=16.268cpu=20.732gc=0.584factor=1.277zXZִF! %]ŗXf1-qN0L%.u--W^3M,'_{W&|%h RNd$tӄc:P0dQE/\4ur^f|+,lSxȵ$ &iW1!P[\bcȃ/4sfvl>\hի29tҪ(td>P ۱gYZ7zXZִF! ]ŗXiɟ>ӇW2ta'(e9D{?@''H Vʽorg`lνEmNU_g1nB<Ó"g,gYZ7zXZִF! TV]ŗXi%9(P1ȂF2'"gj$m-_{<#1CƜ(vkV̎ 4w Tި~]qZmb:9Kzbog&dD1QvhVi5 |c35ZI;#+qZZ!Kvb- ESRKILM1 \Ϭ~ am0{W=Jue]RRdwPDLh]Kiô*{nd"_!MR4b6}3.$M kJP3 }1sJ@Jkng r7)BdAdpL5M/DDU 5w5Y&X`e*_*jq"qFi4eꂝ{_?gAmUu#x1RGIH!0+}OXU $wRBXӂr/s[7lzn:U#L-?. G)>f⁤4t^p^|IJGwxj2MG*'^c hr؉㱱ĭ)uDHXz5}7'˺l9C=2 i5ϲ[cGsRV̂s[5 tZ~"Ի:u9jZmؼ̈op51E>uk"_ ><- o ը1N}#̇pVw6@aZF