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 E5  !/ Certification_Monads:threads=2elapsed=5.724cpu=10.524gc=0.264factor=1.847zXZִF! (o]ŗXf1-%˓> ؽΒ$%`?D+l6 \಺pR5J^o+*kLu]j{Q.Q`q>eɦ*;3i\!P%Erb+ɘ,\w=Ec,7Քz fT]fh)R被I qS `nߪ#Ngl#8D22Å:3|'upHk͘\<eQQ& ׌_E؁:V)&*6Ey` F7 J&&0~{tNkϨ]a{Df',TwphcFJ^RelHk*AWަ+l 4"iWZ-.Ku?8$>0=b~ 44LZ=~5/^qf{`BaLoof%y'| sc^Wmbˢ)hz%ou|A:#x^tA+^-5]&LO.:" kWN:Xz*ѦGG% ^g^rZG"'#*3IX Gxp{M2O6 yMQqԱ? dIFId 5®%l쫝 o?[\)CLU 5 Certification_Monads=aIymaZjPSsI|W^Xy"Fkt=}6tl[3 k I2QU7Zqv`UE9on M?|!Ɖ!Xbtw"y|Ka+dq ==kf/^K]uwJTe_3W [akq@a ԫV%+%'?I+3Л,JO_orjjѩV5 :bƁ33Ƅ@& Ӑ)=$JoL4=yV_uv<,^Ͳ %<#ˁĞT~?sIHɍ QDz?OR)SL˿U\F浂_AdaL`&.$_?q;؍ɒ.[ካ7 ɘ(gIN=,H Fo3!ٽIҞmoOa +Bb5@ fgl FU >i5l֔)jv6rߴ(幙f`Tp<;`VWX#C-$i3ݓO9`e"=PvMݗuk#GΑLޘdgҷ2y>V%E1 wB>w?)zG)1ͻ)׺k=:İÿqȅFSc>7OVF*>,b1wJ7VWp^UMD "4PmWRJ=gYZ02e6745f5bf1d5a2f90e78e0ce6223e709dd3c07 0b69d8c3f70856201e8c054bc34357b13520292f 12a0e6c0f55de6da86a2819ad3a7128396308306 1a1436f28f19da44f56dd3fdc6afa1e3786effa2 3122c5b55089566c74375976fd6040cc34c326db 3442f7ef846709f8d1bfc8b149c856503a7fbfbf 37e048eca1afc2c069cebaffb562a02b039bb22c 3997ad1247c599ff5ca5a09326a165d755ba9b8b 429952f9b1ab48f5480776e72dd795c832ab4fd6 5f027145b953123734f36cd380855d6483226701 69b4d87e9cab0b856337e17afce32c08395ac7ff 79f31440868c5686b204e83e4f26f92eb8d94f9b 9bdd5aa3a04f12448f7300dfdbe400d0b0c4b078 a526ece146642d823be07862c7c8488392c4dd25 b930d3b46ef544b2e9c7801324c8d49593edd92a cbdd9fc6d6570e1d4cdb5f290d2b154598908d6c d1a1fe056914a78cdbca5deac82d86dfddf0c2e2 ee2d4760bb726f6409c2f82a46a166ebb7485156 f2ec054802208841282d3caf8cb88ebe49e30b1b7df075489bbe200b6262e37edcd5270d19378d2e 9bfbf87d82e3125a825023e51521c6c0733cbb56