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  s 4 ]S HOLCF-ex:threads=2elapsed=5.651cpu=11.100gc=0.564factor=1.967zXZִF! ]ŗXf1-qNe+A]}q#=P vUΌeppoRDvns%(e[cR(wYf<5.L}q࣎T206T 57\wS.(~ eirH]~q Qz"H8C)5&3}3bPUp Zi9Jv+YLGZr!j>&[ü(/'hgYZ7zXZִF!  ]ŗXiɟ>Ӈ[ aPLYU}h'C4-x~\̜g |GI6W_+trCT#:ܣeW@m2![tcvK.+|x4y.ǢK]_NLmOfPС&x8ӥEkDHxWC,;oQ c]ˉ egօ@л=ƍ]t45Wb3Wͧh[{G]렪/*WrgYZ7zXZִF! ]ŗXi%9+n],l22;"?fYvwwYOp>ݪu֔Az\B4H/˟S֙a ּӝUWMy"㺦,- V]1$F=?C$ljZf TnRv(`k*Z/MɪObc34IJ~K?!D-\8'} l?l&K[ 'pY'si?xóg?Œ΋4o7 Q=>P,̘,#8s'}A p^0 M<L5Yg!2{ `vנЯr][e3- 1g{q#<)+IZ (Cv{lksUYXgj#\C5Hw 6bo2 befgڞ{o=?O8_پ *4N(:S$ŽcA3>ZgYZ5c05e84212e644cce79258e0eccf4a2e72cef14741dfddd2151ebee28efc9e26dbae12c72d1935da 81c9499a7df86d3b7533ed9c6efc8881fcc10f44 00c52217ee265f36cb0323afec3080794ee45c38 5a3bd5c1f6163bdf5a094a13d2f3c11c8bde9977   HOLCF-ex