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 )5 d !/ Certification_Monads:threads=2elapsed=5.890cpu=10.808gc=0.692factor=1.837zXZִF! &]ŗXf1-%˓> ؽΒ$%`?D+l6 \಺pR5J^o+*kL}/Dl:Lr\lWf ;L>,ݖGq|mF=bgĴSEs^@RdY@l*VڐkMxlقr, :qDdkU5rrw ]:@U4 \.wN@qGGDOޡnmձw@jqXߦ(0o! 7/v팾EJh'eMf_|:_e'B~#rlϮkX`Q%exIckاq$̐y*q+NbDT.v*-т/ ¦*":9oQH2 uv+5f1!17z!)EFhTffi" sj'*BrjC:s$}sݢm#Z7 7$!=OSJG^z0 U0sI9oW8 1MD{ y\]X`m|8$؆ /~8^D4v7>2TAU+a̪#pTMwlJHtX~qq I gcfٴr+}XAE6KT':u[N#br z?.d1 ǗüA$x9Q%1: WS% -䤖ʨ$/VM_ۂϱgYZ7zXZִF! %T]ŗXi%͔ˮRc ǻɇ>S9syPdz*.J*[쇃֤C9r۟*4Kwvg Ds:`9_}BDWֳL`mGBQS4_gÙbL8yT62I10gzt&.= g&Nk{>Ƽ82%[$pgpa( f$UG^:qpNB!3lׄ?u,&{n^֊E~x\?|yʈ.:;cI(̊'_Y3`uYV7Oeh.<y6b\Gs0UNFBէq!RԼM#Q88(r/|߭tyn3&~ȯbIܑ%0 _/(PZsdI6JȈP=k5I vP^WW@&+ oOT|)qJWz9F@, $$f-GV< ^*(AdHrȞP[o˄Eg,L- :MU!)+ :.6 ɴ;IA=_͢yal4I [V4[f|4p l rFf(~ h( 7等=p{;9/`]sS4)PI;_h;jbLPrL 뜄,J@3WgYZ02e6745f5bf1d5a2f90e78e0ce6223e709dd3c07 0b69d8c3f70856201e8c054bc34357b13520292f 12a0e6c0f55de6da86a2819ad3a7128396308306 1a1436f28f19da44f56dd3fdc6afa1e3786effa2 3122c5b55089566c74375976fd6040cc34c326db 37e048eca1afc2c069cebaffb562a02b039bb22c 3997ad1247c599ff5ca5a09326a165d755ba9b8b 429952f9b1ab48f5480776e72dd795c832ab4fd6 5f027145b953123734f36cd380855d6483226701 69b4d87e9cab0b856337e17afce32c08395ac7ff 70dfe4aed9a08af48e65c985f8faff0f4ca0f68b 79f31440868c5686b204e83e4f26f92eb8d94f9b 9bdd5aa3a04f12448f7300dfdbe400d0b0c4b078 a526ece146642d823be07862c7c8488392c4dd25 b930d3b46ef544b2e9c7801324c8d49593edd92a cbdd9fc6d6570e1d4cdb5f290d2b154598908d6c d1a1fe056914a78cdbca5deac82d86dfddf0c2e2 ee2d4760bb726f6409c2f82a46a166ebb7485156 f2ec054802208841282d3caf8cb88ebe49e30b1b3b94e1300442e1a3f5f809d9b370cfc0bbbae59c 2f80d3f93a8e8908ea20a991b6190f7aaeac097c