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 g= D\ ]S]HOL-Nonstandard_Analysis:threads=6elapsed=7.809cpu=22.044gc=0.952factor=2.827zXZִF! s]ŗXf1-q恈1`VnȆf ס@wp  қ@\]{f u}bB70.X$ V' !RJaSx@,aQҗZJe5h6_4Z7"j1[`d1v0&0(arҞ ^|{XN؞$Oc!VΦ;3:_dZf^%_y!  KgYZ7zXZִF! f]ŗXiɟ1$BQ0dE8sM \`Nᵝ^>) 2Νy+Z|k$<7?BL^ԅ*Bů HARj =t1ˏ72J;6*4M~,Hc5/(YьL7=4@atF dMQ?ɹ(&qNaVjSQ]T7YFgJԝ+(oþ!YlfJ/%DݗПYQu &TG \+ɭ\``K j[IkܻюʔXSuс+Yrei–of29. @QEMgYZ7zXZִF! %H]ŗXi%94-LV,Wq8H2}f&QItHzǡnZB_cl_s bsɅX\W#L/l3QHh$} ?ꉘT8t@3[q]h?iQsp޾kDEzм-<4K U}#D _H72!>!'9жY?.}EHw rXec9!NEf׬KG~lBg -aI!'ts$a4s䎵@_mt15s1QR¸Vfλf=S5+^2^6ǵcNI!Abh\!^