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 Z d\$ ] ZF-UNITY:threads=6elapsed=5.043cpu=25.152gc=0.900factor=4.997zXZִF!  )]ŗXf1-WHIk0p䋎dh֨/+aGb−>|omLefÄđ - >J )bRTyْPm3*Ex䌑~x`gj^T[pR%-B 9&!6"J':VwWOz}13lil\UDHA آvpDR/Sg9/ /^5Mf|u2:PUexA7-Mԭw#-ǩNn*}Es[eKp@,gpú7"PMqTjc3%ME+ԯ*hLe%N5J.@T:KH7tSݖ#^Kp[W-%P1Eil)$Jg)Hr1^? ~N5De2?ܞɤg㾉 9 cȀʐݺh=z`X²#MBhG%PGJCűgYZ7zXZִF! he]ŗXiɟ9 i:4V;}A<<ګMP7l'i,(_jCZq8V'UE؛ƨظḣX3L^'.|`|r#I^jߦapbפ8هwʿ P}]hLc#7rKuhu8hYaF[b^2v3X ue֏h>+,# &`þ)YK9,8wϮ$\ LҖ1T^(mIDZ|Ctnq~GFW&:Ġ3]+ښơ0#`)2;>t gYZ7zXZִF!  ]ŗXi%9-@lK=y zDi25gi#qr yZ>`M^UcMQ_g;]z+'EJPh3L#Oi5ߝQ86Gz7o\ j bP4IϿ48bc4jFzz"CYeDp# [˷,%LBX;K m'vtC=îͰ_)!m>C}#f%Xg8sAJ@>'c2tu EMs?LcS7A_aul8>x vDYN`𼣣u?V6J1bFCv~Q1n"ݐFk8J+{ PMpE2KԓGJ ZY≓vxW"N-P;vL=`[ \w[PapsA(괫+zzü<1x 'jJ3)Hm{TD?9݁kJ/jI"n^iUܺ4 Ib;KL=]5e8aubCZ@5twAau*K(b3 (A8f5XaT{>8>>O>UEPbmcAO0&6_HVm$6)JCK7}$bb ^)"lx%0(-1E2}M-c>CJ3<שgYZ2d92e7fc469948d0fcbc19c52ff516af0f5983b5db456e2182b198adfdec654a00d5bb35f7784ab2 fe2fcb00c9a8f7e31d3bcedd2758ebeda3a6a6cf 187d5799ee71fb889bafc24295421115dd58499b   ZF-UNITY