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 $%\ ] MSO_Examples:threads=2elapsed=67.945cpu=129.292gc=4.432factor=1.907zXZִF! (]ŗXf1-/6vR[UWdT-]!"Cu"0Lm% QWp37JDLqqyX9e W2@uwX( :ؓ8KqPTx<XY98׫2+<,z|ul:=1cWΎC'jGIk;ٍ0o(t*B兽hE! Gkg1.UqSjIƔBБBuk)ߣv8$/gf;}z:gYZ7zXZִF! {]ŗ % MSO_ExamplesXiɟ1˦r*E$<Ћ *Έ'&`C.&N(qa"p(0#K;yn~i<]ŗXi%;ŶLu淁I7j 7 _ؿ[Q.nXӖM.f@\Œ/ׄt}d`ɓްvKΐڊqH/$vtxD ݉Ԛrіzܭ(q2^6 kI(ygu;"3b+RF^Mg3 Lp ~۾;Fgǚ)gqb7fE[c-9/B~W )% =X?Aƻڕr6?^S{ ]^={/8] t$A 2*|M_t˕(}x`rl /[1VL.b(Y2(AdnS.v,]xn){4L_Mewk$'O^*dT_秭beM9 E_.I=ꅯBMY0s f?[Οs[yHbSc{)it$I$ zD)Yxk{v<4`Y.]f>QƁ#eۏVue$~cC^vҡ2޳9, 9zw(΢|8ZMvp$5:]MZ`$"f=K/{+alguiF`;ȣ" _ɊDH+ǔ? ,4.B໸`Pi `>6X HQml{%Ilǰ^0Q/Me{aaJzL~P C'm=SP|m!k{U%lCp!Ðm%:5ܲn7kPnJ# p iaD]z4n8q! X%ql Ga}Ow/DR"e2fOк Z+>=6`p%9 )d/KH ~9FΧM /:;UӧX{.7tFJ?h/:N8)mOcs7)3᤿%?Nv{_xC61;;}ь<`Z+<RA8|d \°9 H<'Ӑ,PB}ppth9bb]]˵՜00*1V}@=2&VOJ[lE-jcZUݞUXIbP h<7LBٺIǘҺΘmgNNLFRF#;R8a㝠bóqn2rl2ψQWZ_G~ڹב늩?šU1(L] KH8q{g@KJju찓i|j7F@3X|CgI:I{e~ sNJ(MҲЃp\QR[X)]: ۔VJqYS)&&7 Aٚu  XbɝTtًͯk-*Dx˓u^#8qbWzG#" rSBΐG(Bu-Y4XQPc׉NWO &ká(-իzq7tb9@Uۀa z6i"[1Z(ŧ}Zp6qU`E ,|}u bUBҌ 9A)9 q˥XOA%V:;޲P\eXU=g;ovG#|".K{jM޸.4ܕ̖9r'%OHC٭<+01p}GAF  hʇ݂B;CkɊT֓>rvczZYy2HR8z)KkETS%I%y50e4stƟin^OX9.G:,F9'X:Y.Sbp%r"JF'ՌqƦX !됄 @?S-[Ts\! Y oQ