SQLite format 3@ . YYQ77Atableisabelle_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, "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 **S; <, s/ Proof_Strategy_Language:threads=2elapsed=40.753cpu=73.000gc=1.680factor=1.797zXZִF! $]ŗXf1-q恈NucvAݪ4 c?[ݍ#pdTMR^?e*_#IjKnUXbfw|[M) &$z۞ v4MrPX=PsjR&s-C+<{OcmэC$L {.Ojoâ8pwp\pv_FGUsNx%zu('PvOS]8&e8<բo! `b\-kڿ9;vH-;6Il +1"fG M!u>UȄ-OgSs=Q@bU{ =dl\VLf뙯;ytD0Q\ˊRק㚀lG9TN&ڿT0;Fu8z058}>*=%TwN6Lis੸9&#@^ @$B?R9o "~eX"v2wGk7U?{g˄(Sſד!j~ y{법djC1^J٧D+*e}fɒ?wu^dI6Pf2=طVǫLff>e|&+2d茏y]pMBi·Z0Q%Ģ@Rg]p?bܬ7E qmP "1<mt %\;,m0kTө@}Y2({贳L^5\szsI*)aZE#foXf׏P4\W / Ձcdutz)G ntZ;qIPn-4Qߠ 1/ȿKH>ɜoNHHWne+W*.hOV5[KO*AoΚLXwlUi,"J)%aWo/6mAK0{?:zFk0ˠ!oz]>"W|rtl|)kV >$]/2d ,b{A "972L#;{׀-@1ūӻg| zsv^ñ.e4ӧCܢ-|6뫪D]wԑ/FûZGtg^Hn 4·HOpUviT*7Y:)Iln>L9<-+iqlP#BcoT>sB!(MS{]`Ph/:jY/I =+qWGR2hWSu|*NM({HXT7r 99iu2`QlоGZlNbG,ryxLM&k|&q}|פ̀V8'BzޗS}IdY'JW%6B^.$삆yWt;r2tIeE=-aMJEŏd~ G ӎO~튽:w1F=yغ>h߁٢MExDbE%{(hD!EglLڻWQkG##ډ:%+)_n`28&cY}LvL.j =@g.IdJ($j>[: 4 h>, mSVBJO6Ylݏ7khρnky%۞shb5 Tח?@)5s>wŔXw+tGϺ޺TQ/22Ps+*1^wSNT|!8biTcH]J"Nh&_sgʳ k1Σ2mW$3}˵=LuA_bPMfD>PóGU 2r%<@s%gN$rߝl.z!6UmaPDIB,q