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 $$Y+ $d ]/ Strong_Security:threads=2elapsed=15.285cpu=26.548gc=1.048factor=1.747zXZִF! jH]ŗXf1-/6vR[]IJ!@W&abZWdTUNZ`[ ,FV VY؁53߸Og}[ɹח>4!w5HStWdhb5{2SDi'F*&kuf ] Fp^v/I7HKY~l!&= #V9Ȉ[eB`4't~jIIgYZ7zXZִF!  ]ŗXiɟWڱIY\u-Iv*#o.(Olj,ɰJwwg.Wd+ņJ~0K' KBoD2O>{l,uR-ZLBXF#$vk󅾙G4-ay(Ӯ9hK BI.*2P#\@ t69 ZpcVIu^Tv2%!vJ|i׺1gYZ7zXZִF! W]ŗXi%ή++T\Jbtu#Y10!bv7WMpwXN:~U[oSԢemBc"dìOɓGK |SH}VRVÇ5+(MD&J{G(PhnnQz@KKE:i,m իQbn B`ׅ(D|qLs}'3A9-B0+Y…m۟u%suȐ^p8am䛾h60ExdoTD2с ڥBF]GMwz RAM=T#eVJ? [HU썤P*b4R<[w[-#tn^Ռ| cağ2lo*;ƌ:"a/ K3_Șion_վlVU$3ѽw`%1\~ C.ԲHx#[6”4R$VBopU% (ڕv_sNӬ(g;Q1JTR_4; &jGwgG3mm6Xn#ULB41M\z_'WLwr>,yggl}@OVX@VGoɺ%j.Q,YA&R"IwѵI9Ѥ ʌT췩d5*^VAI T^`F?$ fulwN~# =v!ˎI7&9=334X:pRdrC?D >yҠgE_E/f"oMٸgw IݲRB9@{\? jK5*duyI~/,փ҂DGg$os ıDZ˚b{{DNYy'PblNK>wI CÈ H|afb(ڨ< .6IH>#QЊ.Q}ـoPM:WP+?xz&{ t5PTnAC2ý"ٚ4٫{ ic%&-eC[ dQol]qu{&h<ؾ{HQ͈sB̟3JG{vbq GctgYZf4d5e7b162dc42442f817f16dac3807d47980a3500b13affeca8329065e523557b07861f9da96370 de656be5c82664d2d06f9d4f4c7a9247323f4c02 + Strong_Security