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 dd\ ]/ Certification_Monads:threads=2elapsed=5.895cpu=10.708gc=0.756factor=1.827zXZִF! ]ŗXf1-/6vRZ*_vs(}L)WhuQeAO>YAo=>Ƀ1ԉ Ҹtɀ|eGg\5nX5WȬ|%us&\3&.ٍPRM*"Ü&78]bkxH,1 Q8히(|c#K&ZC/,D#;k7鴶5iKvdzHܥ2^Q WsE5t=4b&tsEbVB8 HÙW, Ɖo5J}1q:1n5 صTF?#M1m1K0xZf% d@~ C6Iy=,EͥηTxS}Uk^cEsofcxd҆` }D᥁Y 䤈 c(Nz!wl1^p `y[bgYZ7zXZִF! y+]ŗXiɟ|E\Ât+.*aphG)%uG AWY_us&  4NBʼn 7C> Lxc'@M- DЕ E|a!:Ug)]L^UV$KkkBiYR¨P_ս4Md#.XgYZ7zXZִF! #]ŗXi%6Suf0]^iƷĬjp\iQ :0[ NHF>"xjgM7%YSb qP,u:f6L)϶ *Y>9 {f$` ]&sV?SQA gm/[Y5wթДM"U23'] LْX,zP KVoF~)"zi|[cx 3 &WDtjt%\Y]k3F7׊7\SP&ZSs :K2fۊpSj_Gk:!+`)VOe1lVrޯb#j GR=t-9h mC`zuMG{)]v$XP&Zw#SHBLHJoGvUs)r|v][|ux\vOOB&>Y 4Vg׏J~%N%﮹ݎrZk8.E+1_ Ct{VDsAP<жpZFWn`gYZ5107034f9635192bd91c3c7a023acf2cc000557ce70ee0fd938a0febc474d8a614487240593c9abf 62b865a30afb162effeec3b132b2275d92775ddc 5 Certification_Monads