SQLite format 3 @ . Y Y Q77Atableisabelle_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]7 indexsqlite_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=jcw`y%Eax0zN>:,aa\xLs|:ai- CU;uƖ +2,F>h6WUz h0X"N 5mO! Rݼʿ7K?QL jϳ1>|PPlORmNq20EB*7ޭup]̂f٭,sFvBhJ2fU}Xxt NAa3tZr7r@@Լ 2M5n1'@p->PNSv-[3:|\XQ[ɷ%IdGrs`ܙFy 7UM+uP>#{z!p&w7A//?,t?nQfI2v)λ0 >ȪľC+V 4TיZ؇X>Scp*AB5T#ޭͧɁdrקK2K!hTیɕzpX{dDGP "I R g YZ7zXZ ִF ! gx] ŗXi%6zdAr[:\j[f]Ӽ$Yeʽe(tv4"Yv_8z7ʨ4$dߎ ߈TڧԨK(g`I:RKB7 W'#R[rDžZUB0~ob? aɊ\ .?ԗo2E6Hr2@QUtf`LmD2ؕdHwN<&XbB:bg%Wj_k3V LfA PN#A|"qþ-hyyM Nz'rMԒ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ꭦZ zItШ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"fTup?!d\Ş韄 ؍za=gzqy">
[+YrS xrOk}+J߫ 'h+[qgۃڦw3\=Ɵy{PT)ֽwZk=R+~\8waʐFi@;'` _z C[Ϥ,E88Kj*c#wa Wzd"ShX1ekf0DӸp2"٧D*D"dԋC@fh~A2W>)r