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 G' \\| ] HOL-Cardinals:threads=6elapsed=6.339cpu=33.648gc=1.172factor=5.317zXZִF! +]ŗXf1-q恈<-¡$johkX2I)']8PI{y5MB5OI|mҞl]ʛAx]^?4 N_BwCVonw1,Ǯ`}HDWM0条&)Ueͽh0AO[SV&('G5C}RabO9 DbFT`~%!dEɤyi7pW!r;ֹ< g֮_ n {ՓдzSU:@ Ϊ,A\9?uRL/E`k/ W{pXȄM+;Mmx-L6`s$S%MgSHҤr6=B$@Aj~tnc;g)~3Ӗƻw@ wzu!IFuzv:2Q -/UJRpgYZ7zXZִF! ;']ŗXiɟ1?ߟt;9BP2CZz眭5 z 2ZON/z :6R#ކpo:-ΘEy^rk)nCqR{c!e~&jn֦ yXwp KzҺGGM##=DZtB'1=b19>")vK9a螙Jgsb,B M,o<^8ۙB1NzF ^ԦUDr5Wv`ƦEѝBk=K^wgYZ7zXZִF! !x]ŗXi%9*]9>}t>]+;GBN unYK?l7;_ߍU 7S,4e@6:&5%5ѕUԑ&(H{eJ og3/>}v@\2$.D X'g)v{Pv&P>Py$g:nPCZt{[+4M~LibOє_y@ T-w6 IpۏYBe_!.Ut