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 Sturm_Tarski:threads=2elapsed=21.063cpu=34.124gc=0.464factor=1.627zXZִF! ]ŗXf1-/6vR[]S#L35Ά%.wfnMZ2PzӪ܎aML*R.nUs?z?w<;.hÛq疩` ԚRO9MS EA8&bdŤU){<-J>ŎIAlЋ8@/ U ?܁  -"R` 1~W)uaʰ[?.]!,6oȯ>)&,o#X㿜^a MiuY=KP>hXlޗQڹA)>j%NefVa BU0X[ȨP<1X56!,wRC42LboGn>;xBG}Fl$yE=1'6Yk01j`FVf-RI#u gYZ7zXZִF! p]ŗXi%}ϗI9 Rŏ=+Sm>wϞk;x5.h9Fۨ4 kBYRrZ禹[ _x6l#Z݈(Pf\?bV|?׽??th!dX!#q) %aZ# H*Mfwr^כpBlawgQЏR y㔉ͣ%tY27 ?̑Fw=q7&eYXs~ Dsv,F2ѿ[PdlpfZG(c!1T)0DN{RFO-V1DNsXzQGac!X9qr'"D9zݸZ3Kګ8"ca@?rr#`@r [J,/_o^be272[(N<3ח;oe^l֖"lv39lg3;FQ1CyG1z6l5FӔW2`1pw|BPH!,[=1xU^d"fgQݍy(*i?MKq$M_!Jr>=[ϧVᄦhv 5zd 4iޥ  sCT7zf _vS(pYWl MҐQ+đϷ9eB2N{]X g0؅}o={K8ؿC4{@tC'N@'/|3W3J1cr %t 0ܐpEe$CH(Q`g96Hʒb  :Co6"L1'zϳt[]9_\W9*!P}Z8V@=r3;oƖQ\0"hq\ͭE|%r҂OW[UCaRQZr$OcJ|}B)\&J&) "S6 ԁbkcr JcuTinq.ߞY"}&-|ڀbl5Z \\h Ajn|=2(.:M rv7ZVbMT) Jk-#"(i[<^+*Ύ&3Z\S\縛(MSϔW|-/$iـT?ټG@$DWWR6in.0R-v,o5 ^IX4 Zp;#9"-W 0L6j##6E6^2qaSߍ A)SHҬO uWgYZ373e17a74a5d45401c95237fd8ea5f1c9a3245c0 7484ac13bdadf5d7db4dce48410fdd5e64a042ca 8f93cf5fe04be3e267c8f2d2c7b05cd3d346f05b c717c73f0a67903194e6112d21cf74647899fe92 d9c238d1006300c8d53bbc0550a820903309c88c0ba1ca971c8be00bf94431f0078936b10d2759a5 0ce03196a7222f6488e31156b520bc36971a656f 839b44e946d25f579f005d34bf2b01c8c50a8382 38e9905181602a320340a0cad27ea92de6285748 % Sturm_Tarski