SQLite format 3@ . BBh77otableisabelle_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 dt ]/ Certification_Monads:threads=2elapsed=5.519cpu=10.476gc=0.776factor=1.907zXZִF! X]ŗXf1-/6vRZ*_vs(}L)WhuQeAO>YAo=Ҳ]/5Y2C9 S1ՖxWX4١Pw09L:x'x̔ _«EFz?̕q… ެAh_ѳݠ+0 A9'zW7e0`BBލYLy@ti(*\8 :uޖWi6F=\{BNO;W koH4W|şe Aē;M-)몭] D&xb.yf5 78Wm[0zgIiq:T}{0 ,U+SȦpco!k f> gҳّ*;3gYZ7zXZִF! y)]ŗXiɟ|E\Ât+.*aphG)%uGxL+z'aQ@R_Kn"z- &^I:FgA/ՙ zt}s$K`Is45,{4& 7+qݎKI6vI H/q$s y(y}b:4YծHvZLGhA{;y7]Osgz)dA.r XCUo@+UfJA^ 'eK˂gYZ7zXZִF! ']ŗXi%;уyէ#,ּr> Z08F%wZGEC1jb%Xif$+ *GcكPIRioe{:1P*}@2b#2ؿl-L#<gL<Cz"b1Rn&cO~!EZxf׭vxww ˭)c7fєKh]<+ccqbc8Hԕ` k8eR"#u7* l*BsUM/"nfl>jQ'U7BΘb^zo'KqQn,+]̝,QSd($at7^~ ՃtYFdNMŻR{s5]̠v5wC-.zV_e}`}jgsF8G4ǧmڌ+~M4Ȏd1I^+X>(;s>ivSOKgYZ24031459c854708c5d1d265f1822a5d1848b353879d8e835726df87c7b301a8f091eddccadfabbca f1715b405e31ccabbdc6fec58464e458364e7dc6 5 Certification_Monads