SQLite format 3@ .  YYQ77Atableisabelle_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, "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  5 |$ 1/ Certification_Monads:threads=2elapsed=16.829cpu=27.872gc=1.536factor=1.667zXZִF! ]ŗXf1-/6vRZ*Dc,T q}jX,q~yĎHA'? jXu=i3 GYG1|%ce^J aA&5vS̉c d[m0;-Tʹ>KNμ2\ CbLQtr fΟŨ:&f'&_kmSlpr(&hbʪJ8#=5gc E;L*<_`Nόi%/d#.n#)oϩ4 2/!?ĵj?GDD[˽s.om /DcBH?[sa>}Q;if wYi쪞kF5'DK͙zO=}6fHjwxNGztvut6fֵpWU+Q# xCwƼwlQQcن-}-."`Ccq KƝ?eY篮RAGV#( ydTd(j ? UbV#e TVw?71|~+=%n5':_;hn`U/bIVs-ryPgi Y (~RmZH |h!ABDR` t ;nj&o'egYZ7zXZִF! T]ŗXi%6˻hc̄{ X$f!+I,3 v|vB%]}Q7ʴJ}%&ܔN]a(6/~/s # ;|OvNvs8OL9`;(~X11U9 ~p]|~GacAgЎxቶ*$D OL*ŞȔ>Mm`IٿUZ*ȩ6*#XU ƃJE0&}paC'&s1Z: n̉ $Db,$L .,=:d|U? e1D-k}^,-+=pd`Q.VaH]Vk*_H6VI/iB˔ms?MIYǒcL[/XBZkh 4 8bP:* e`>]-L {(%>S&)Q`OqN+2G>Ϸgؐ>G4>t/២76%@Hx_HMh{`)v`LYGοXLgIp܉Wg/Vk['_D[H\&~ Op^,eߟ:쪋' տ^S:Hz,i̓OCSgL9%m5p&QLk)T؝d2ÞP6ʫeG ('vx ՒW~WùsQ+KZ7?;eOPǛƦ'mO$82/$흿'7m+J?35nMAֶ ~ݸI/{N<͸PtmRP^.3xtEaB+l4EEt4Q򔅬 6[yR5mJ=zٺ"f(idyS\DZv" йszAhoȡ tgYZ0b69d8c3f70856201e8c054bc34357b13520292f 0c9469e4651698f44e3e228873be074985fc67b7 11e3d63edaae207e5e2a56f61a02be1d8fc71098 12a0e6c0f55de6da86a2819ad3a7128396308306 185b62c9a47bec524007ec7a2225b16a8f4b9349 1a1436f28f19da44f56dd3fdc6afa1e3786effa2 3122c5b55089566c74375976fd6040cc34c326db 37e048eca1afc2c069cebaffb562a02b039bb22c 3997ad1247c599ff5ca5a09326a165d755ba9b8b 429952f9b1ab48f5480776e72dd795c832ab4fd6 5117119a178eac69d137fb85243808da2d667eaf 5f027145b953123734f36cd380855d6483226701 69b4d87e9cab0b856337e17afce32c08395ac7ff 79f31440868c5686b204e83e4f26f92eb8d94f9b 7bb2894bf6b2b1879e224f67e577c429b34466a5 994e906601e17310bff00be21ae5e216ebc52992 9bc5bf9a2449ee6b95470c832bbfa8d7fa97f4a1 9bdd5aa3a04f12448f7300dfdbe400d0b0c4b078 a526ece146642d823be07862c7c8488392c4dd25 b930d3b46ef544b2e9c7801324c8d49593edd92a c9a7834754ca020e75afb9d98e309c88e75bfb0a cbdd9fc6d6570e1d4cdb5f290d2b154598908d6c d1a1fe056914a78cdbca5deac82d86dfddf0c2e2 ee2d4760bb726f6409c2f82a46a166ebb7485156 f2ec054802208841282d3caf8cb88ebe49e30b1b f6fb166b2f770db6828fc9f56f7c516fce351e03 f9ad8b0e4dc237bddb1a7187abcb79226fec1f90554fc66833c1e501a5e5c7ff24471873df0a1f56 609027c0b5e2d5a13a9424abded96d9da8b41772 5 Certification_Monads