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 44I D ]%]CAVA_Base:threads=2elapsed=8.924cpu=17.328gc=1.096factor=1.947zXZִF! ]ŗXf1-/6vRZ*_vs(}L)WhuQeAO>YAo= L~REf z7?oMHjH$Ѳ]6M*M<ުX9ϺZ{f -{ ŠL7kh%&%2޷cJvPm=9P>U8@&dAK܉zr(G$И"nZ~YxrUyݹi"OOh y]BkL/NN|:&zuV&t7j!U@O5F f;"ze&mJ+R޺w8& )Gn'swU -5?] f;4GbL]9v zI@@V;0:m.(7 @0oV9:0(AZA꣧obQ-7ƾn$mO˱]f 2%2;JHTq=e } vĚnT˚F'ήV|'dDd%w^Mݞ>4+|'h\%Tx_,H.#n.f7P|Mi+2ej!UgYZ7zXZִF! ]ŗXiɟ>P++ \D;?!W 2ڷ *6XKzi}f.>ux4C"#Uo'7ZzK(\'T"1l47bƄ1V^zz[q=Z>oۂpҴ" Ei|iha=|<мĭ>G 'h)TW+g(&o:[}+30 |k#;]^0.|ЭR[D0 OB0 BgYZ7zXZִF! '<]ŗXi%6Sr.@Y)6!jϏC#?uZsMn^Ŵ /9;;ʂ5?˺Hfx^3FVʢR5s6x@Kڎt v %0 '\XJĥ2mMP?C;N8pfvx_)}ИW