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   c+TD SS Card_Partitions:threads=2elapsed=4.879cpu=8.388gc=0.092factor=1.727zXZִF! b]ŗXf1-/6vRZy_ĹXXVm^ dh۷n)_u`Eitw|&bExDlɌNZ1eRS .Jr_UۢQ<Fƴmƿ잌D}Vls$irk;y!F%&I(^h璢 Q#N0{QJ^Z]>~JAV6: }`{PBk.*v; ۲@;_z$ ؕCxO$Z7\0jkNM!\kF5^mfsPcS_(z0wݼ%3P=.UjQ.!۱gYZ7zXZִF! ]ŗXi% ҧ"Ivvi:(|uY74WF+0~[,Ћ[ٲmEyoD ('ъ݁ҙG/j(fF}R0n:҃n½q|@U;;\ײXP79 UR`DwSrp".ǎBl%.=šrn.C!\?) ^"bkp y "c򼅲B wIOhHY1zm<@tp.PBhp5c-9Š䬽}.p#V1sU (3E[kQx'HzBѪ o\ޥRjCjC-t> I%Z i.AѺC=F!1W‹^\devYs7Q\SUr[ e\e.z&XVG{I<Ž*%Ӓ+] 3>h$:tOd-_sK*jɟxƚJKEj-c*0l*@YKa!pI9Eq]Ψ=f|oJ]}KJ- u1IGfHYidO%!ֵ>&<Ւ+R@xxž\x5.2%kAZL#gYZ2db5d820e2315d27e7eb764e61ab1aca5aa370d2 3dd1eb530c3c470b47ddc4d434eea2c5684cd8da 562d636d00a59805c5124949c105325f55960d9c b3a4e52b308c1891fcabfd74c001324d923b04839711977f48cd7397b3b03ce4fb09271962469dfd 41ca8b1ef880b2caab86f2e624d077e228a12ed4 a1d4e989ad1a700e9d30ddaf5afc0202077fceef cb1c83ad5b0180c7e983e3d9ff99af139761374a + Card_Partitions