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 0' /_=ޢ&?Dц'>?Fzs>q]!Qk.|'es>BVFG1%;?C!b;Ⓛ2/dm~  Q=VK)Nø,I9;"o2×  {?ܫΓm<<njN'4OQ6f9 f±J[9d2󺉇Z/zWcꃙuh4ӢOD몹yGݖ_5DNdmo?}5w~3_d#-i_:U'_fe FG  ' Stream-Fusioniሪ(p#P쨪}msW<:]kos#)uj'&@i,*T7q vj.@@H[ ~p)7aӡIjٜ,X U Jjx8ZFKAVΙZ< d^=X$228pXKwkN]ManU}`!♳;_YY_H#p8bt@JQH5 6NR`Oeg!d~ zG='mre'yVnXdna`p;8zDۧN8\oj@"9Av#KQfc+8fҎG#xۀːF"bz0i'*#M7r["5fW=7KPNźgߚ^pvMs84| Z,LDij>'~UgE3T"M( } p#N\m1hҝmTpf4̑q]k\XvnњRs kƑH rgQ uF;t(?tRQcu `gYZ7zXZִF! 7]ŗXi%3guN`ļ1|T5T H%Ѓm^ AH2yƝRe! )`"3dh7׀lA:ߊuhEPd /HNoOʲ q{o2s(>t{[\.uQ][UDorr`Ň >~!v&pqX3S-!_|IQV1ߌNk$`8p}eGOޅ-'- cUYk"m9b]l Y :70Y)#!֕FP[#I]G5+u60'@vNǧS]]%lŸ~cBˬ3ѼPvi rofǵˉqo[^CNɺ@o1G[Q=hKc#^/]Bl.[;P-@"D?2h2nTgPkǹr@Z@0:2$`6_*뤟er=u/,Xt_vO]HCQC'ñz^ 0ªΒ OU9']Po]aX'XBk 7# 4WY쀼ɑ<% Q)1sF9LZ }T eN/^D$96qB0Y |s{y4lSh}] +8\C7e*G -1baHgaEFPQMa\蚨\ Bջ؄N?!υ7i7DJJ?# U0 w-Et<庖H*eogp:Uo NNvQ)NAmoVogYZ09755f321f35a569ac7c334d81ad052181fa8561 37a95c2fcd5d24caa95733bfc47808e1feb2d551 42949db6ca1e816bbd53202dcffa7c9052e84a7a 6480eca7d8d16630f0177ff98440fb9d1dff0620 73440a138915a52072d6581aec1a0c9a8843a599 b7b14edc8440e9659a16359aa649e8c83a02d145 ff2ceeb55b02bb63f9f48145c6e73772e2f7d5f819db22422d072d942dca4f79a146f700713ec562 0ce727582e1fcdc0d95ceb5a898ac2c38b5af35b e6f5abbd533679ac69aaeb4490e09278f2a99826