SQLite format 3@ .;  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 5 ,|L ]/ Certification_Monads:threads=4elapsed=3.285cpu=10.376gc=0.312factor=3.167zXZִF! ]ŗXf1-q恈͐7ӺV 8'r@ʷ ZxTi>oiTi=78 od&X 2M]MTqm'A۾C@k98OFhϢLtn)?Iy.pY%!u|yއZܸ-L]C$Le77S/.Kg6pBCf[VuTP x Qc;Eiݢ &.F*uv&TYB$!(jOIž]ebj,l,̆}Mq\ؙEqѿNGϝ=0=%Ƒ:& x5R&N{<"L 5 |uL>iy|PmC6€䜡g޸k#)R`r &NgYZ7zXZִF! 6]ŗXiɟs}KKʹb"+QaPh/dgāW&ƛ1 ( ȷT=p[ձp %hhLӢt’#.&=5Iӳe@ӟe(6Ko\w5=q`͏ d\jht}=U(uWuK$u_WFvդ66VO (7"EOdS;\pN!hQrfْ9FOi\<2$VCN׽PgYZ7zXZִF! &_]ŗXi%L SKؑzB b f 8@U0JH]dP׊E"N>ٶ6H2xG%'lnj66}xPln("&M#Q>T,̊|t GL‘ wn1a6|$i(_EV딫5XVS*7?v_Vn2PeˊGlS6C;A¹>ccWĜU Ȗ;)`ёxؼs.LM&\ڪaJFM=4 %P9Z|Ccֶ|Գ!mۡA D5"4(1ѻ,F+1J/70