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 ##Z# tt Sw Minimal_SSA:threads=2elapsed=9.168cpu=17.504gc=0.396factor=1.917zXZִF! ,{]ŗXf1-/6vR[ mY[aCq+c=ޒuD"5,fN^ǍrOR oe˒RKƒb"\ `4]z pl98с%GSbMY%Ib+N3ՂgW; UrB*[ag3F8d aaKG.Tʕ ݖr&Dl8]8/Wu)0߳3ϡ jԦ%U0@s_k@)h=-lIZҨāOś]JLp+޶8G>G·4G$Jf] p'8wȈ۵VwU>0P^iϿA8%*ٟJ368tE/2^)ܪ_~ LlodSlٟ`_JKz\u+SBĺ!$:5ǵQR"t=Qٖq_NߞU.CJ?u09{G?݆MR2ˏlKQ'W$['Ru =8GJk8)a &7*BSiB08^MIuTyORO(Vp'cShCC4/P"`0z{a ,!,5T* kyy m,076Al5qgYZ71a7fce19a7969a3ae045d5581d29bf46b3a4662 724b25b25f85031217c1ebf4946fa63091f7a44a a1208b8e2fca3865bb7ee8052106beead86e65dc bdc9ce00e49076cf860d0c4a37b3ab7e4f741374c7c621c8c679c6f81c939be460dee2fbe4c459ff c121e04b5193f7bc8e7b1316cf00321a124849d8 4d1d0b326c743f98c5b1bae12acec8e2f264f633 5b6798931ede44fdd6c9fbb116130e51ee0b18f4 d7cfafcf8c3a84551138bb7a7324015cfc400a02 21a0c4072d41a679daf17ebc522c4bcafb62a79e # Minimal_SSA