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 77F1 , ]S HOL-SPARK-Examples:threads=2elapsed=17.364cpu=27.748gc=0.864factor=1.607zXZִF! ]ŗXf1-q恈׍ V$*(7e91z=%D㫝^ZŨᒓn!bkNo ߀HW8HwǾ";sSp|2tVNj𑦕W^Ԧ13:#(,}PM9sjsc% )?@B2eBT&WJe=)3W]8 Ǒ?egh:u16xǫ&e1[[QQk7'yb(Ҩ*e䪑-RWZ;IߣUC⸐ x X=$Q<}M{\V]pL*ұ^k+-v^ۖNJY9>3Nz4򶲍3>&-]8DDj g?Tk?Qea7[п&݆Gl+Lھ z2=*HuO _Sz<:ĚάQRׁ$"# E9b*]Z 5}-.Uk% %se q`jU)XMP4{1+bF{]t3esƑWb\VCu7Rs2撨 ȝMCL|JIɂ_#.2|P ?IA@_}Mc@mp 1UgYZ7zXZִF! D]ŗXiɟ1'HGu C),_=g~ {^}e/|>_EfR0ԠWhgq#ljl >["$S.絛Tp=(P c=Oa2-48 _7lDT۠P)#}ynÐx8Poկ|N,yȍ€SQ&vN]@¯ ٴ>FvmPN5')%£f"ςSmkZq&t)sZUDV릡n.u &S+Ǻ1fcU;(vx~]u~Pz$Fڜ.\W'O0po}Dp!Yi99N#^سwٙcfޅH T;>t4}P(nvPsBpL\L )+ qY8ƺ-Oҙڂ.1gB"O7{/Ϙ}7qNba*VsQy@sIOr6Mk<<HavR nhaM8zxɩ8#kbUQY욝ݹˀ?Sw2;S^T'<۞|kÎrn z 3"0b}k04K <?/mw2j`DZP