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  S S* T ]/ ZF-AC:threads=2elapsed=5.962cpu=10.024gc=0.552factor=1.687zXZִF! o]ŗXf1-W'U=Oww '_Vjzn@>{V02Ε==SU@O%1?{IE1J.m\EX]G -+{t$R?צW=#a¤(IHE䏡>Utf:6)Ƽ:*M9fwjhX6n 둦.Z NT2 m\lnk+/SA$81c H_QlÁTgYZ7zXZִF! ]ŗXiɟ98c tؠL\bA1OoN| )gcaP&D ( _y2ff7 c(iQEertA#Tl{GkMqĉM ZdQZt~DPbqYgsBcVa+f_2lA׫`-;qs5J҈PᣍZlp @ b3.MsSХ*@M\>?7Pfi?mt-NR{km :{Q,rYmc݄ko`8DMP(zA b; }s,S0!nrX{dq1HF:릕F#l cksƁ1Oam`r'H ? tFvVl]Q/&|݂dĖ%laIػHlE蒝VB5poTusO{΄|{LzDU(F"ӟ*lWtwfJdCV}3+;/.DD2Άu@ףo򈬽*A,LEDϴtΨ:7( Wh)"5PQ}'mĩR%<i=] W w21W)iAl@+9N~ο9w=?&_ Q)JK}C6PCUN#uP;ɐj1QjHw|¿tt58\*`.}Y&% vou6(.K}y dZؤ M'}Rcf"ZE?qʇ1I}UK'g C:rBbh($I 5HvmzE`RodR⡵DZ' ǰ/n"]|gYZc7b7c436c41f8eca660453e064ccbc3a9ed7cd9c62b89b746f265b39aa07d30f95ec0c87cdd2cef6 e1f33615ded91ff31d28c00091878a43e56b4682  ZF-AC