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 5 oiTi=78 od&V-p(+tqnN< 8u6D+ L[9 -" +@'==ZFnuýo_| Aó[0+r^^WjMl&/2T4;Ї(2{8y)QϔaA*@v}<݉eoZXM^6 K%&#㿍CSlX4 MCt|Bh ~F.Nwo6q_<|iMԾP=HD駨oBlH" gM eS;6d__*jne3VsjZ֘vBZ}, 4W!ߒ8BU/)AV|8|* \e 8Y^7m7")SgYZ7zXZִF! 2]ŗXiɟs}KKʹb"+QaPh'1-^1s\[[/Mg1e&9Io?aZa2&&3(pr4HA xnZmI[x'0HGatRБeʼPpD(5S#@Sj^ FȓɔU-Dzz'zĔkEw'<\f!g`n~ҳ9iRJt2 Џnhɗ^0ITy YY]T6 9)6 27o%Qb|.n8ܮYΟ2E6<Jݬn 2V&^`Iė%qwOa{^NWt& sIߗqΠV삍"7 r*控J[juE1Ε qN뫻ZǛy؝WC"!57Hn(Āl~rZVX^GeHx_YؽD,4"&8Tq(E>h;đF#}nή>،xG&+aG㋻'%"LִI]Iۂ_p.Cs'|oW SXKD&bjZI#W%θ_ a¯X<1<9e AO>tgltJCz)I>#ψ7RLzv=LLꪦ]}# r@!HiLlIc>Tr&+&k x%@m(Bh0VFR,V&5Nδz\~lFz{o [Ǯ|F!iG,wYZMIlgYZc8addfe08baa6ebe0bf948ebd23ccc183e8f7cc976b019a50eeda51c4b74870607c55fbf00aca327 877f746cbbdb3ee6d67adfa0ff386a8af3e6f35f 5 Certification_Monads