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 CC:' t| } HOL-Cardinals:threads=6elapsed=6.635cpu=35.044gc=1.152factor=5.287zXZִF! 4]ŗXf1-q恈<-¡$j9n0.H. =.;7,T(.(>*[ 6Pow}}q.I;*dNPalXLusMPRVyȚ⦷6vz)@T⼾ݯjT؜AOgR% ~*bV:lI6Ĵ"-i$3E wV&7һ'@|򃾚d'F8g+ Ap*yEs2}Fݸ:*9V2jπa~4]@332w\%8t ɶ~&ZLQZx܂?B_ķjQإ5jyo ; { hԧ.bXők \L}ZXwS^.vB`]aDRBlaaF1c@[,d^P+@$d ys)vG B<` g܊b[9"E` 4Envᙹl>#pXgYZ7zXZִF! !x]ŗXi% : >,?% 2o=heO{DF~V Wz HnqN&kfYIfXjFKb-ʷiFuFq|j[+۸DakAe؛6i6OUj-)]Isxz_mtXg,H .Z%ɓXt,s:ap̲>S>+'\= @Έw,R!c)^E=pA%.ͫ܀e&']4@ےl Wu{B no\LM%xBكzl^%H1UzGhk\ǭq,iNf(,)4f~Bat꾃jz#%tgSQB& c4"NjH#OHAZY`J!oJ\GQ$r?Ys2x| 4Γ(*ч.u||+{4ŋЉjW6 Cʪkc"zhcsd'X_q?Ǩx$2 q7JY]Mಏ3&v7USZr[W&g=9-6ۓ(]v&CzVX&w?_tj3Tݱ.Punl@>S]wUq1_=xj+c4f؟ Loe!éav݁J6 B9gYZ0cb6fc629c51665ac30e4c2f11b0c69100de6a19 44c478e7461bd2f9a5a01b0fedb2d5116c88327d 4aa82869ab6954ea751fa236d010ba63fbaaa985 682abf8c978eaeec90fb94d25398880210ff5f10 7384a298679a9c21d2d0f490f2c86a7c467f4ead 746def77c96904376c7d3a0d8c7b67f5abd49773 879b766a737b625d333234513cc20f2d942c00c1 91facbb31949a0430fcb32369bd6ea671b7bc144 9d648ccee25d829e46c58b9fa1f100ed6063d149 9e4789cec7e0ff12c72496f2e441c961e3e40474 a4144db1fa43aeb836aaa3e8adb2f6e2f710430d b2565d4660d0bcff3c2d75d02c2596639a532cd5 c16484b003b7ae40c2eee619dfa65bf409c6064e d52d3e20b288032bcb9ee8f4cc0ed38653ce9ff2 d8b591c052c85b1671e1d7822571568590dc3e35 fbb41d0aa9e7731b95122619e8a4b9eae61c727a fee4a8ccd578676a9d1cba2e49fc5b5baa9b345737f0a6a60e649e45589e181bd233bf587291eb52 0d5db5f8bacd580775357abde6360aa29dc26b70 27f06b5c0186e431fc0979ed5876eca7417a779f ' HOL-Cardinals