SQLite format 3@ - llB77#tableisabelle_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, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info 95  !/ Certification_Monads:threads=2elapsed=5.559cpu=10.232gc=0.208factor=1.847zXZִF! ']ŗXf1-/6vRZ*Dc,T q}jX,q~yĎHA'? jXu< g,SCM0#i-DXvMDt ?kјt)'S~34 X >n >[5’c!=cl d!LDkև+qNFG2qjha"jyП>m`KQF}ZI7bͤ ]:yaܑN2<ᇞ}x#r. Ynu݆w JUa ӻ#FQ!~ha +U*ED2H5WDCY,+ ώsbUӨTGW7DnVhr^;MfM'B_KhjA(x^AXozޘuaq;NWgShz8\Juɩm>G%=VmGC:Gi׹YRj3Ka,OM{=h.& &$g^c4"G%F:^ %ehc=SlL[,g 5 Certification_MonadsjfqZ EOAd)Gnҍio!!IJ ?X@Fr!ЗӱKEԂ{^>Ie_nn~MpOflv: uٞl^Geͽ|TN{sq{F.C3`,s!MfaoZ#Ի1uw;n*JZ㟜YVI$$d<#h~,b䱉'QN6a\!uF5=t«'^^v u҈L,a7Va\Yn'|OgYZ7zXZִF! "]ŗXi% ɁՃu7:gPG֟o6O|^!W,&\e8[xԊy, v g%WlXc'N?4C=|ْK@c& `T`𹡩2 _Jf>-Z\,{?* Y6i.I%dk8X #K^}J>wzO蔚8TtJ)= q?PV"s˄ IcPbn7"N{CUͼ/jH<% m^ҕzKv؄v}L[sU1궓"&!ThCP]# H@tȃ;L(v V"? ik˭|/YK6?+颵c7 muͿ