SQLite format 3@ - llB77#tableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "ml_statistics" BLOB, "task_statistics" 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 o) l| ?/ HOL-Statespace:threads=2elapsed=16.647cpu=18.968gc=0.576factor=1.147zXZִF! ]ŗXf1-q恈8\:[Td6(Jx3[YZEeȼE<6]wO ]ȦO:_bwM&~!ʙ*#b-mc-mdU69])8U剓Qn2Ğ?ɋ #"N+eu/ p @X[1++DRHVJ[tHSyx*UB5 KV { hm,#?  ) HOL-StatespaceiᶚL7rJʓD FŻL=luiL'褅}1ij.$#X>ڪ(gR {%5R`P5j9&mصܫ8t6hGd]ʿJ-T\OxgJ `0%ޘImm!Ḃ r2s[=x(n1UBlLF5 r6~xڔ2 e)O‡!w+J*gYZ7zXZִF! V]ŗXi%Ck$[mzSvQ3˧~=IV޾) D n%=i/Q8ye)upRfiaRt`)6 ꮽkSৠ#) ?Ri43Vb?xW3i@ 8Nf*W&{&:QƧak1eMTE'mV{fmQ10K%f.Jp.I$JTS_f/r)Be^EZtI1ʑ.kf gYobl;ns~Mӱ$ o1^Q/UnOx1EZb5{ꉷ[qɒ0'WwYZa.;^?lA9M@\4"C1(,Fs_4HC~=߭=VG1(,^C.3]q\