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 ..O% |Tt ] Finger-Trees:threads=2elapsed=15.156cpu=24.560gc=1.676factor=1.627zXZִF! ~]ŗXf1-/6vRZZ-=X@ 1-PU-xA/E@ip- .eG(#eLN9aߎt䷮ܹgi0tqlY!4`3Hp (ٴ2RsTƇΌ(Gǒx藺a(Nymf- Vv[atjaλ%F- &#ƺnd/Q%~ ģPgf1ڜګ[w[L,{W%ߣjXN ܰjqppݸ֣蟤ėm`t Ē_:h`n!YOiמv>|9Svpg+ۭ#lZT2!yBzJC [4.PWrCdžX!x!5ZE~3gYZ7zXZִF! a]ŗXiɟ頪{jtJ" ZYYh(\dPr>1C}i~_c"HM*ClvL}w,gYZ7zXZִF! Tx]ŗXi%92xM^af?0q@ z9T%)z"B5CgmZp6|guŚ8Y8q鷜,פbQCUH3: \/c DTOSO%|μTP:9g),F/$:z~qXa_sZ? *ʿG#]_36q;t)ϔiCj~?Ye2} >Pljˑ+Svj$k\j cs7!j!DEM&n{[< 7vu67Bԙa I{Ѷ"G0M'#sɕPѻkp=OpPۥ2w˟U$ci},oZ lk=깹f-Ь|aZL!vϐc25kN^$ n%$EMw0M8&aGL}$5'VFmHxr|mc?,-9NN!T8Mv![G m".>q43"W )! 'z3ͽD7ٵ(k~3i??jf)TLӘWsut'.JtW):c9??I| kCwZ17Đ3Tbmc3S68lmqEkHMzT`n3lحmAJxNJQPERڪqԙK lԅT=&\c}nmM*V^J9p[`DcL.+#_{w΁/ ίgYZcf4532ef133af1469d7cbc6906d54302f60836d90dc0541b39a07c11e5774461d9bd9c4bf977ffc8 70801ef29d848aa8eb383514e684c8076c0da75a 607b584e29337f48da7c2b7111a6e1bd83507c61 % Finger-Trees