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  ' $ ] HOL-Cardinals:threads=6elapsed=6.653cpu=35.256gc=1.176factor=5.307zXZִF!  ]ŗXf1-q恈<-¡$johkX2I)wý 1_o^*}v RNP)ImcCxF;",6 W6^6۬ Y⚑yspl%o~^A p--8Guetzkÿ3F(Oݕ }x&A U\_蛸`oUI"F܊c4A:K=[j&6F}QV[ɵjTzy.얫f}.ck01 |4nehb<3:1łppAw,{Y{![Xx [MPg/^,t0"RGA$(NP_Unua K̗rEۨ[Uz)0@E8%9y_=͠y!1H@>S_Ƹ`-(۳S؝ ;px p)-1Z;xűgYZ7zXZִF! !~]ŗXi%6u@;6NPfo@4ĊL c6}FF?p+M- I Z v{Հ69^Ma)eg՜Uߋ, %ٞ8O—,{.!#- Pg jN]p!yi1ޏpSuIMC\ռ1Mv(9Ӽ ;$Ć,a`&}9yԲ0[s#:#ab Z1r~e$eM丏?P7",! 4ךGkGb]׬qvRZ*wE82 E& }2*a!o=VyJ"~ N5,AyN|oeHf-&yP`=>X{|1 jLG9O :S9^tj5l͚0G|U:UTEkQ?KJ=?O`T$H+zT* b_q+2!#TXBt>m%N:n0 %t_90֞sb=2;*ھ駮a )hYqG7D)z1Nx"z~`k9hw/0yޕֹYl7"M름) Y3#1XlXql92gc\.k>F&9mή YҺ{焊3y*ɐs/s}_t06Ӆ"4YQpC}.KH}J PE| ڷ0oWɴ͏F̯"U0#iB+¬ gYZaa1e2cdcef9c1a39a2befe91927a4bd29c8be768cb9068c52176507145e624acbeec2272a10e4f6a 87206ccabfeb1d393ed2571f867fc3906cc88dd1 fc60ea1877710c55efdbefd683bd6d53b3f57175 ' HOL-Cardinals