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 GG65 l !/ Certification_Monads:threads=2elapsed=5.682cpu=10.396gc=0.608factor=1.837zXZִF! ]ŗXf1-q恈͐7ӺV )5d҈4ٯ&o3H 6'2́n_̡w4OژtjNBn?@JKk+${Tl G%B-# AlLm>D̓DerU١+g퇅/u'G03v 5} )/W%Ža2@Ђ`)poNi:=Jӣp3^Y}$4ZnJU $M~- X3HTo]lT KR`J1rc/X[A"pYHzcqLFr{4ߛf["|u.[uRw 'R&f-<_BFgJcMgYZ7zXZִF! #]ŗXi%6yN 0{R惁E$\\QG\l ]Ug9$K#HJ<xN+Opp "vTqQ@vA9mLZ b0[Xph=>9mF6d ǁG挆<҉JT?-R~Q`Q#@vC YO//P0 2Ϊ`e&yxg%qMqjo) o$F& n/SfegƭgRE:^jSOa.Ǧi7Iՙm*{Ʈ("ϘZs__ӂ3 ^ $wHrS :O£ _{h>ٽJiyׁB:}l8͋wNX a?=F [R$.0QHq:z:_] T?miA:Q\lCHrYUBaMkʊP΂)'1+"u;.MiKsyfbTF|貲ܶ_;ϛ Zr_Q{3xPHC/Ljx:SMp{23Lpt@ ˥ _ߘ̨!eq Fܼ@Gd!7\zJp B#~V|L#HzT!ZD9@]tXb04D"B+^Q׭P(ഊ 0oFӅI_$AF3qgYZ02e6745f5bf1d5a2f90e78e0ce6223e709dd3c07 09e0808c0e37c102417cc80ab635572ecd263bca 0b69d8c3f70856201e8c054bc34357b13520292f 12a0e6c0f55de6da86a2819ad3a7128396308306 18aa0abdf1fefa55988ded8ef401a512df7f012a 3122c5b55089566c74375976fd6040cc34c326db 341d088b709cd150fd9c1a2653b7d716a51caf6c 37e048eca1afc2c069cebaffb562a02b039bb22c 3997ad1247c599ff5ca5a09326a165d755ba9b8b 42173706a585d797953589c87338c3cf6272c40c 69b4d87e9cab0b856337e17afce32c08395ac7ff 79f31440868c5686b204e83e4f26f92eb8d94f9b 9bdd5aa3a04f12448f7300dfdbe400d0b0c4b078 a526ece146642d823be07862c7c8488392c4dd25 a6638c627480a5e8ab799b8b8c54931fdd852454 b1e21aa57edd70bde8f216c90c9e019b2def3613 b930d3b46ef544b2e9c7801324c8d49593edd92a cbdd9fc6d6570e1d4cdb5f290d2b154598908d6c e438ab71afbf69bba650907d5d74b783d37f1cdef0df918d4045ad6c60b23213b65e87e41842eac3 28b0b14cea5cfab8a9e104dea18417239d359f24 5 Certification_Monads