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 (; \\ ]% Special_Function_Bounds:threads=2elapsed=39.422cpu=61.828gc=1.364factor=1.577zXZִF! pe]ŗXf1-/6vR[]>hHҔB^Y1=;N~9-ټƨɄW.=(Z _H ZytUwz>4&T,wEb %bl~HU|s!(Dli>J!KЖ>fϞڶ#U ?XH{Yׯc='DC4TZ)"蛎eR $\H\kM7$9OW74󖻵es ܚ|!:STjp />Ĕd䫒jƿ+ 6nشua<䠷 1 ѣ˖*zBPɐ_g^sYؘٚCcFVrˋW]O5Hժܖg/Cmϒ:O6<~W(82yU7s7oUt5zG j>\hsu/$K_nWkDz?9&3i#0i&20Ȱarp=F8rLG~8ur:]Vo~xB 85Pj!V69eޅݶf2lDZgYZ7zXZִF! ]ŗXiɟ?հhqzD\4\y6V -iuK1SA0S׏eYꛔ.2fd"6ZE~nښ7A2K]"i6QiCLzgu l3@ MP"}oϻ,{XE6gYZ7zXZִF! Ó]ŗXi%9#c[Ό+z k^#mgWa˼tFy鰗{tbv7y&eŗ)gg^C2&X>B7waQRjhϬ.:ni2#cDzmSvNHz;in#[$ZPA8Yxv)C|A6KS~h\iˊ53@=;"~q~P {stOu)nFO[uwzIG[> NN΂Q2AL0~3aohwo=˳$)Jkgd Ҳׅ7 ^(2%& hr >ip fwnab :čK*n2iVH zst_53#Ba!z#Ť1yS0398y2q9&s;32o{ȱцhFo.!s|.RT[2H&?A&$˾0E1L}(8/uRa>^ ܍j=tfJ؊/ze/'L <'7fk u]bT|`N(cFyG_X{3 qzzu-q_o3i^ @ vz/~("'2!9;gزa!Y]|$#v퍨P/zyqG5NKL ̅kk9zw9! []7kח.zi\~^1*#XRxӋfx O).x9Qov?m3ӆO@j,lnB_X ^ gE.(źx675 éR3;Jtrl펲ySB%l`,WϪrΑe)4Ƶ&.DŽ7fuY4Q YW hƫqsEhdHtG܀׷q{^0AHzOQ;3 хIzr GBp^w6qpkٹe0tD;>+Fጁ]!DfRpf@r"^X[{3w~;ңghr36'9'a=SV̏ےzAb@10۸9" ⺧vnoQ܀?us(ɴo*))A#P?IjXUZMO` ȜCF47D@(?T