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 !+ Ll S/ Verified-Prover:threads=2elapsed=9.709cpu=12.756gc=0.408factor=1.317zXZִF! HI]ŗXf1-/6vR[w?q2F)4|*[X\>!~ X.h_ .GoT ʗyնڪQ8Ɲte7GO@"綀 K+r &خ TswlOB ꮳ{ CzQ P86Xݏ*^8?; F-f%ueР=¡*M3kSe4aL;a*>T_QQN B)`-_$'f$&7눿zGFjXrXZTq <Q<9$ խ@}Б x2ֿf)[Ab%&R^JM==U83|t.SRՇ0 >#&uv {bYDPuN*eRFR~aPU,>GRg# p (T3=mZG4#Ngɕ,VEk3raK;BQb>3kwU@:oHVy QygJ^~P Wӯ֊iϨ""a( ?E8#l&ܽQ 䃯&/+MpZ>_5pN#%ї:N9Fe]S!\aXiM \Ӯ ,I.~d*SGy`{[T=Rm0l8c43mIY#q;z1\I'Hׅ(&lƞدqWe.j|U }i-10Yu /;#FF(J18&.njz}6l!PcnQ-s@k  x6gԠNՊ'zDJbΆ3u:,~wSs,&U(IY43c?hzeI#a ޲`y=A $?"8ˣkMGAaGm&{vWE uk S<›xOb !Cc,uI _k;Dxx$0X7P~EzNoHW#ܡ x dI.m?cnrCƻ_NXʁD􏲧S6r&V8nI'ZHo rmL|^ak1Kszc,uR*筸@ |Rp7J_a؝1nPq.Z雤[ĺ]੿ȑGu} x;'<@!kmЗO4uz87,>0'a<$A{~ux@gYZ3e502dae8165fe3b7725713f0f4a35c31a9a4cd6 892bbe0189a23a2e6fd96fbc3ed4a7929b9205fb cfb4fd7da59a6788f5773633c4ad67b7c70e5d57 dbb51d4c6470972f27a73e1864c54a1b39ba98a08c20d9719dd3c794171052bf139f7df3bda5efd9 787d9064b94856bcceaf7fba7c00dfdb93321f07