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 ~- | m HOL-SET_Protocol:threads=6elapsed=21.853cpu=90.540gc=2.072factor=4.147zXZִF! )`]ŗXf1-q恈%vA?'GAq,$L;׺N'nS56-&S]-O[ը67QjFhkǶ7}Hgsm) ifY )r`>Yq"W^ĶIn|4JhwXL$oaڭcͤ A'~+ YDB@OMن(U G 5ǺMSy3 e &/")MQD:>l#sIb4Zތx8ģ86=9;'޴EB@3!qL_vm ͙FH[?ZkM$L=<.h-ҹ*SstI͵nˮ2=/NU9=j՗cw`y%Eax0z N>:,aa\xLs|:ai- CU;uƖ +2,F>h6WUz h 0X"N 5mO! Rݼʿ7K?QL jϳ1>|PPlORmNq20EB*7ޭup]̂f٭,sFvBhJ2fU}Xxt NAa3tZr7r@@Լ 2M5n1'@p->PNSv-[3:|\XQ[ɷ%IdGrs`ܙFy 7UM+uP>#{z!p&w7A//?,t?nQfI2v)λ0 >ȪľC+V4T޲יZ؇X>Scp*AB5T#ޭͧɁdrקK2K!hTیɕzpX{dDGP"IRgYZ7zXZִF! gx]ŗXi%6zdAr[:\j[f]Ӽ$Yeʽe(tv4"Yv_8z7ʨ4$dߎ ߈TڧԨK(g` I:RKB7 W '#RDžZUB0~ob? aɊ\.?ԗo2E6Hr2@QUtf`LmD2ؕdHwN<&XbB:bg%Wj_k3V LfAPN#A|"qþ-hyyM Nz'r MԒZm19=-Hk4?fPL?'2>\<+A023Saf${J6v%B`InUbVP3q| Nm-ob}yyx4?ԤjҲ"J[oF8ذ`r ieІnl:]z]Ji:b\Ouiq%nVU3? ^'M  1\ӬR6ㅘj{[mC2 FjF/V-]Uto m8JCꭦZzItШV>E:DV6#OIλn #s?̥5|eW?C! ڋ%⹏1х_@k% D4W]cfz#* ߙS__d[Ʋͳ[I~/ =%5%hj$7tW?]k뀇1Sng |Z&t7bݥAҾBz@eg}k9yݕJWݾ$f6*!μI_'<>kE"fTu p?!d\Ş韄 ؍za =gzqy"> [+YrS xrOk}+J߫'h+[qg ۃڦw3\=Ɵ؜y{PT)ֽwZk=R+~\8waʐFi@;'` _zC[Ϥ,E88Kj*c#waWzd"ShX1ekf0DӸp2"٧D*D"dԋC@ fh~A2W>)r