SQLite format 3@ - llB77#tableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "ml_statistics" BLOB, "task_statistics" 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 mm \  HOLCF-IMP:threads=2elapsed=5.814cpu=10.932gc=0.416factor=1.887zXZִF! E]ŗXf1-q恈N|5` 6y}P7(/H> QA !^.P+Rh1ibK\钌bK6CܙBY-YZVldG{P ;=1 m,:HIT\SΔ."j l`ƒvI]wc2/Ig:Kz9$N]Xr3NB?!=2{59/es^줌GQLނo $0mz0[B߼u6@e 9 ު:)PbEqu҇ Bs*l/bL80=TĂOZk(* vBxT$iϳhąi+ק,@tFDUe l!UwOL("G*E9T_2אb]nܶZ#ѼjdwvfS*jMQN;23!S!aro>CҶN@mfkw50^O"̖/HgYZ7zXZִF!  ]ŗXi%CkTfUs>3 z29)zlV z=2jUPfڋqV^/;!\ޥݮg~YՒ(np(ё'<2KӬljV=F)gAV263F܂q}>A/NאFv}^4DisvƷe;`}ؙ='b*nل)hk&caNT; {8B7gYZ07a6a39f22715d36c6c7d78e19847c1c19b45164 1219141cb7a32230a95ce4f1c699106d4ffeaf1c 332124682321656e702ebd7a5d933f675dfc2c80 4ecc40d02e32e98ce2df24a5ef77cc9db38c1c98 9bb64d25a454e76f91ab3470612aabb28b261038 b2f395bf46e105375ccf95127bed02a66037e2aa b6122e77952924b9e0da37b7aa08cd7320e1a3f6 e041c843d120825e77104e8742c34aef50abb1438c5c3c02f05e35fe442f7fe3aff9bd93f43f72f3 d9e883ae99affe5ac273ba1c889b8ce1dc4817ed 645174f4cff6174b9ce6ceffc99373d5441e2d5a