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 dd 5 |< !/ Certification_Monads:threads=2elapsed=6.072cpu=11.072gc=0.244factor=1.827zXZִF! +8]ŗXf1-%˓> ؽΒ$%`?D+l6 \಺pR5J^o+*kLm(DӦXaa%6q, ~-8U1z6ʔ돗WQ`#R]n:l4_`xU"BR˕2&oRîVxr4%AV{aC@!z7CS2n>3 h06^3ث:gopǕ[H6:I#&hdqq%1xq^1 U^ ~j*cNӪw 8m:e/.qB([c kp ! kFvfߤ/+$_aW}:3sB͵YIy'H5Z,հJ:դ 77T(\0wv׳QY[-v!?[ S_* 5 Certification_Monads^/$#rz~r"$%NijhJd0'G*~'Dr$ $Q>+KXy.K8nO/ˎ4+FV83cL_ p9e H|O9p+vG# f> [QVppNA ҤNΟ /6|YN!IΪJP'ȩl 'ڼ Ք2ʔ~m![5n3; ~~jm{Ԙm)bẽ3R"M{sB_ n+4>$j+:xEz BC m&E`gisrfjzO7? Sy