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|T ]/ Certification_Monads:threads=2elapsed=5.189cpu=9.924gc=0.692factor=1.917zXZִF! J]ŗXf1-/6vRZ*_vs(}L)WhuQeAO>YAo=&94de.MTF[!7)t~;-u2%r8Fox&doz~e#Ϥ\vg08{ 0k89B4.xf=1MS~_sd-Yk`=gXKe6[Fl 'd $C̙\5ď.'+SW4]_0lƮ32I[1/Z] Noٹ@u=<̤"[˷Jه1ػ]qyXEpDUCvQ"El$?F٧͹vƆa_g-$ @9'l 2qLۏr#}Pn?g4Ȁ{7ֱgYZ7zXZִF! y$]ŗXiɟ|E\Ât+.*aphG)%uGRIxrdZRAc5[@~%hzrǑ,F? >",%[c~jh!&FΆcq!bh_/M`[gs4 Hf1g'>pUL9I峏ZWZm/î]_C BkQ)3yGBZ#z4"7,}+N5TJx&,NwF_S] 2JI5E 9_w\MQ[^x+EgYZ7zXZִF! %}]ŗXi%9*]{ME)΅eYb/x Tq}x޼/ . G<[ Iz9>aA)XK|h=,B0HӜ"CVdRUKJ$YužShA[&C*o꡵hll.&MbָiX}uϭ)!3PW;{{c\ҵ 0ёK9γ"]2X[}k<\:7Mn}$87oϴr֑zj9K>+ ͤc9ԉP%<<9]׫e մ5mi#qh8 e؜7k(ͼ\~NVQstE\GKH*ŕ87ZDX'U?m/*;&mv Ѕ׊D =mM^qw%7L(?Q㼭dz'HcV8V9f_ksYG6L|XSϸV n~MItPv kh2OJY|H0 iQO M[Y t::3|W 8#{X|nN#!&vBToנJKz:^i?sd%[퍙1F,>WE{TJ=gYZbe8cee1fd49c40e57d66948006b0b614cb23b4ef325386da1460dc38f32089d1221024ec932a2181 06bff5eb73bee75606e14d28e9b646bebba8f569 5 Certification_Monads