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 ? 4 E Codegen:threads=2elapsed=9.246cpu=18.248gc=0.668factor=1.977zXZִF!   Codegen &Q]ŗXf1-q恈͐7ӺV #`91knTyڧ%kh ^F+k7O..n=]Q+)_q ,քy)w9Ȓꀶ )zo F-61êፐ^U%g>Sv@~YTTeM4{xr &zTs׆K LD]܇K}u~)HCSOh?!j(byJצ_u({H8c qVkݘvtT%/\f[yެS?W4r L?dPi_N p'sE  |[wwSPvQK8mszʠΗ<ֺ_[ՁJ۟]+ew\c4q<]Qw¿8/NL1Ÿ#6&7s:&ݯ`Hp]]ͩfX\ Lzr&,$ /K2\%R }d m^wڿy^愨yUf^gN޻@eÙ{(.2Q?3WxSjO">lZ8{pF1BJazIu_mm`gB$_fHmm5M$w8s7>Zx3Z۲t.<ڵ(Bs=| \UϬbwHP;6!?9FҮr"g} |GpP>pI>*[p r0)VȚVtϔFǍP.v@WងfK:Gx*_'2k)PQ;zsPf 7lb_9(uZ*-Lp#r_S3r08Pkk"-@=1A!=d0o("[#:{[p/]%1n#@ l8H@Oyp?-=@QW4^AiBS%4FgN7Sl.\^F ^궧 s1܋=Srj7çgy>B"QTMzgYZ7zXZִF! ,~>]ŗXi%BO)a$J)>6J_QR+V~f䟰xa\2ʵ}[|-o Qiv+ʝ t!m_Nkǹzِ0q/y$ bX cO16d59=/?LuZVZN īK'*// 焥 =bN ^. "sx zu@^k*I6@O|)ӊf`ȱWecѻqlrAuɸN