SQLite format 3@ .0:  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_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 54|\ ]/ Certification_Monads:threads=4elapsed=3.042cpu=9.904gc=0.352factor=3.267zXZִF! Q]ŗXf1-q恈͐7ӺV 8'r@ʷ ZxTi>oiTi=78 od&V-p(+tqnN< 8u6D+ L[9 -""q9h~in_*4ߗv3n 40ϦP{#kJ!v~q.'ARJ Zq#Y0aEMeD}Y;,}yL RPތN 8`k]sFlw"/ ZOi ;HB)8)Dϥ#gc/g&_J(y}o}Mܧ•ʦ/𯷊@8.q^>*{[R_|'͆/2?gb6UVSK\0M,ȮēM9kA3?sqe.`#ߒ:x¦ov58gYZ7zXZִF! 6]ŗXiɟ|E\Ât+.*aphG)%uG AWY !JtE%SrAo;yeV30CP~XV$FD3QllHxp0xyk&t5pWxO;r I|oM86ȗI$yLIR\:V7u .HՊ.N']Η_wȕxYhߠ`N3(2^w,Ղ}dFI)ƍWľ*H?z=70hozPgYZ7zXZִF! &f]ŗXi%B8_y0W-]xٯ™Fu1~ҽƆSDv<0AzN3ByyqiWa>;x߉l^,Mk1UNy ׄN^RDc0t rY׮O GUvAũD/V=eRe隸$q IGqzc37%zWKc0_0( 1[ 1@#d"՟4.|2q*b2O@NpTE_.\b2pѱ>=a%ֵ^рҴMB>ߦ1EODg 2uWqsPl1$f =7EEU@GNk)A̐T `5-v~{3 ?NbҲ76iKy !Fb o鳺Τۡ\sEYHI jGԗ8eDXvN^ -]c/Dd}k`@i4ʤ'@Sfj@#ߖ:M`gYZcd3128136cd40fd5e6ebd8b987bc8e8b0025aa85ddbcbc2a51857ae6e2c35d0f0dfda0600638ccc2 961d7cfc19b96122dabf28304bf6dc45da32abbe 5 Certification_Monads