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 K' t\l ] HOL-Cardinals:threads=6elapsed=6.294cpu=33.472gc=1.128factor=5.327zXZִF! K]ŗXf1-q恈<-¡$johkX2I)']8PIyMϥ!ףĞ4Wۨ^jrhe9Wl-dOgҏoK])q@q`&C0fZ%@vyzL+@b=1L= U~Ohl27_Bt-n6GRU˪Zۦ|ӗ%kC/\YYf_U9=2!%ˎI,pX7pFD+utIQJе>lzetDRݵ# a S -ӘkeTҦTvCŅF2:zJ FǼoEP_B q2(pqF8?w[E@+*)Z@ʤ-M6~d[-8b2 gD[3T}9o%"o\| U=N*Ya.j$xK"(%M|p^LW([u$<1Tvu:}i;'^iI]CQؗU9bWƳ|x?f$p^ lc.:d5\XgYZ7zXZִF! o]ŗXi%9%(%8ќV[ad]əƌ i9Ɨ0" 3l]/ HئpaYT/hu3qs)_rvR9–)xdʜ+'p&Maü/.M"d<%@m/w L󧎋&8 O r /Ȩ9㏯P6RHƾ5~a ,d 󾷌Ny,Z-A˩D[;-0.)b<?jx|1arfMS;Vh_Pfhu"mRFN! UFP4'>W~2iNV}P䓸cXzsZU4/O@SC8K=4,?lJZ"5Բ\GP~zQf#yߤ)Sj`w>BWw7.a9U?;mPZb)AiKQaE8ݎ\i^kxӐtcۺ i VO^f^?剪lE5!}· ۹gE5;iT 6#~ϮnZJ 4qA0m3wSuEjz'x+A$zݽIםEmLsTExSq_KԳ7ƈ2c'P۠on&ub š۩:Zm1[= ~jʽl)D2~j-vܰ K+c*/G?LwSO %G]0sGHٖK {^蔫*اHWU,}w ]%I'%#=xfVBCEgYZc09b4350cbe0eaa1091b20624004bc9cfb68461894f51dd4e7676acedffe74ec8d2e2647f4dbdd0c 2feb435dc45c22ba19ecfa070808cd954dbee802 abc19200663f461245bbb072515b86a213f74ed1 ' HOL-Cardinals