SQLite format 3@ .  YYQ77Atableisabelle_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, "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 }}4d m Category:threads=2elapsed=3.224cpu=5.776gc=0.276factor=1.797zXZִF! ]ŗXf1-/6vRZy_^&Z`Qp osr@P[[՝Y^/Zƶ=7)V!'gäE21^u hCFWןMLV%ZW)+DͪllrA_7j)-QcL=`"%g2T8b鳔bR?E9uoG*y\ta7kD٧`i5L{Չ̃./%x,FW O䌅2/ZrrHOJZ1r {&ĥ/ɢ HݕB @.W"eI]ccO2qn*0JWE,ް/g< #ɐ*ckE D[A I^ȜcqfQM|#xTڷSTГҠNҏ}SܯFG zd3jfT+zQdxu>Nh[C[O'SٮǦ{yvt?!. Vmzst G9d&T`hR/C[|Ό÷&./Q_Y;ރI6[q J6g{MYs&2#`{gYZ7zXZִF! ,]ŗXi%n8g*-zXU> 63^U%j^lyE+3QusY1!xi ,s[ߛGĕ#3(gYZ0ac37a69b62c2ae2d7301864fbca29946708188c 233c392cbe5f40f02cfd79a0f5a8f38442034bb8 34d25fdd93b2c6ee45726530c1f7d7a434d8e68d 536b6a631519903540578f6486061a3cdba3408f 72bfc743d147ef4daaa53806994ba7507e7bf023 8e59b22606c3798a933d493c03bbb4689fe09412 d82c90603fef2def7218cb1008dad52557b2cbe8 e13e12156d9c631252a0ddc2750adf2f5118977d f2949a2222ede7773308b389d4c7f6b9f1b9d598c7c621c8c679c6f81c939be460dee2fbe4c459ff d97c8eeab5366846f6d9647d2a5501999e294803 ca57ef1b446e14ab305bac96ebb43b476d3520da   Category