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  l#4L ] HOL-TLA-Inc:threads=2elapsed=2.333cpu=3.952gc=0.116factor=1.697zXZִF! ]ŗXf1-q恈&h⎾kH=Ӥ–lP&ޜN,&/G..dfI Q԰}'>pif:v:IQ* oN\i}a4r<{CMV<[B? w}E֋cjױgYZ7zXZִF! C::name=HOL-TLA-Inc.Incelapsed=0.834cpu=1.224gc=0.000-7F\D"9G}YZ7zXZִF! ]ŗXi%9(Pψ˽CGi&gߡ;Λ#Yܳ^Tu=! , 1w ;,6OZ8;iu ;@|d {li4*q굫 DXeחD.=cJҢP/CRg n+n ѮUjE(-Cq]Wk?*16 `rh 3v}UkJޗhm$r짥aFpx*r~鉋6) חMD QZ*mt#>7D<00ݶXi?k $ghWD+`̩dy6Dے2,ɷKX;/8@1t|[矤Uvp" }g)tUg ( KSVKyfO' Oa #PQ\gYZa0edcb2d454ddc14e693b0b0f3c8c920f7e766206f2ea6ab0b5842682397ebbb65f675c6588578c2 e101bd57939f33c881a2cb79f6e6b917cc005de1 b678865153a6fd6633ba4662d97d60022c3fb904 # HOL-TLA-Inc