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 qq 5 $ %% DynamicArchitectures:threads=2elapsed=12.403cpu=24.128gc=0.640factor=1.957zXZִF! J]ŗXf1-/6vRZaKSt$uxek$x="Ǯ6xPm͌Ͱcm2'<#f@EOe8-Vy ~sCӇ6p2y=Tɻ,;̄m^I̻~_9wRoUqdU: syA$l}/#eٝt{>>_:JQ whD)U=3Cbl㹠 =h i Vk:Yd`ds{GrW%lRSG;/V9k$i޼b4#ElwL>?W'G|oNJ)1߭1eHmmstĀ% 忉}ڒxE[̵u9^c&=gYZ7zXZִF! K>I]ŗXi%6,Aӳ2?18t {oJ *N#̱WXI  /t߬="?6ڙblpV{3£yх{hP{I& Hi>}/)`c^GpoluHudŜ_z2 0 @i7fXM-хF=qi[@vF%H$yeO+ץ6ϛM<Z|Bk J* zvʧQR5#+Xݔ9.^/|L hAK N _V:Id?+A0* 8hB-)Kis2VG`rM 91otRE葧f@u˷6]Rk:@u$Nees -5\$dާ1󊳠H4RSѮ3`G8D΅wNE-nېM/,hʘ]mSro~%`lh2bOΪIϒd|BO:e|@MKKkA^*E:l n"M@]GlW:XJwhcAs#"'ɜƫKk b9 .J?+DB+޳BŸ! aRАJَ]Xj:K]]=хqM2^"5I ;(N}fD7@)!C\I#ΠEorb.#:檾ŏ}u@\ZEkiwcU6OOi˽_؋HZ @8j#m.U$p7·H .mvs2dмQ \9zC҄qm:^Lࣳ칓ƒdS kvV.s)%0U׶1099CTpH+ p甖`6y8PF9eB–FS8gYZ263443fe3ebffdac060f5153b3d13b4a04a595b0 28ba6192ad0eba9cb1fab6f2d7a8b94efcdf7555 8419e4cb26d949a1c43391c10979a39c70584bb1 f7ab05af62e85406bd9c75086bc17ea53e6639b7 fe6b76844b93f839a8a286fb51f5689d7ef059b1e4688efe0911f3c4685119d2413b25847e9bdff2 5d7bb405983f91dc88fd3b9e15d11dfc028ed8eb d8625272701e7304f76db642b7fb0e61f9b07c0f 4e073c8ca9995e1513fd8205e4ed94aaafa60a26 dccd991973917f277bd972d0a732813b46f6f2e0 5 DynamicArchitectures