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  # d  ]]HOL-Nominal:threads=6elapsed=6.281cpu=13.332gc=0.728factor=2.127zXZִF! {]ŗXf1-q恈ބ׋[q47({ڏg_$+oot|ˮK1/D9i @8* khS?0<O(";jyܞk)5;IJ4R'0lPUP!%J}NPR>x< LN?j2HM(pqo9\D׍gʁ?7ɵK'RL))n/ {gYZ7zXZִF! HD]ŗXiɟ1ʹv)̝gb_ a}y{L-dAj Rmap\`I'{J}YZ7zXZִF! ]ŗXi%;IUvke{n6b^,sw{ݢN}M w]hEU/jpw'=Wp. ٟ LUf{Ρӗvq5"28ݨVrzA~Ҝ9מK"Fn/W^[߿lS@ D|UUUK!e F0yV_R;f4>'hc,e1TFHŠ&v~ zWIj ,#UgG~FJzAfӆ kǟ+pE#Ro~փ>,U0~0GwE[`@a3yUOҼ;Qo0BQPXds`W9GԦ5N[ǨOZhR탣_.vzҢ')0>e MВUZ*sgqg +0CѬyR8ҀH}MgIH9l(~` D)ԋ-"^)ZU\_VwWnhh:N;-?E}w $Hk/,k&'Fb"<ފZGJfeۓ]殟ɒ1@{0Bxw3ŀP-X_]K֮\XN'M2 HJir7q^ A?gYZ1edb0f347712baee35cfd5022cc73c5fa9688fa24842c8e44f35b38e84e7496d28f4c0448c77e9a2 424fbbb4dc49c5f9da5fd81c78ab3b2f35a10efb b24a626926d116f90b05bb3fec45e8af4a1681fde48c2334967a8abab7be082cf06d5c87b1ee33f1 # HOL-Nominal