SQLite format 3 @ . B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S- indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_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]7 indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info u u |!|d ]S]Containers:threads=8elapsed=96.171cpu=240.320gc=14.715factor=2.507zXZ ִF ! d ] ŗXf[&sݞNş"ր'RB3ꗧZ߽1nˀp Az{(?YLh5~'g%{aqEfmLbn?_8mS*BKSW< QCͮMmYBeMspmF3fMaVdaFd:aZ $ġgCZI"՜@d>pE[lMto3ltȿH8Q13ZT }* WxĀgkQ1OWf'{#$fX X^f+ .6nuOqZvf4^O;}KWD],I2uo\TeF*93#F:gwͰɉ,1H&Gri3}SN}Vd0 _s| [d1L$8+ʺh˝Ncv|0QJk3 74m僮@HԷ<2bHv>C0&GthkCo&]n#W[EP'f*iVXyzܭP֩4ġO4w][盕lJ$ĬZW UH N:gAX%S-_8Oms^f=. Jc\WsKk!(\yh!{`!x&{P!x a ErmJ?XTj #gu>F;3 ؒs+]Iu$ A>ڊ|F/|{sK3[1[^"bFŦ?ҍd'gn҇A"`25,iЙ;LӔϋGY9tԧgdf%h}dvC$?eacV7}Tf/Z NO\< kvC2ix|:_x(D[IW61E y*Teī|#tTD$w=ts"iz`~ZYNH0e %RC⢛MiKِD-Y%Jjp3Svap2 #]"PQU7Tտ-{+ܐ0`U3b RK0{KE`hضa6!"6 ч7ЖHz6,yC[|j@/C*#- Yus ~9OH}/Ad6f*d0xj+jUbL]z{F7-_ɦ{VûuuV#&v!N^?w~ {@kmoXõ8q4cAI5FiMBW'pa0)n|`?}e;o,1POlSx1Lk=f~JqT鲺U418?YAū=j|aޱ1u4( jS[\5R6:^#+0"i2`99Q%c%j{(~^_BU_[QVQU`HzJA?X|%Umxdn'X Fb2ʜ- 8!;JGζ-r%IEC=bj2vtiS{N͞"0I$Z 4\AEtN8 VYލ̝8 03?֠AR։8z0u+)TQ['_+.hnXо6ШTGb5ʣeg}o}^`7CD#nq,h٪ n i>.`B@NyW 6v/ DFK[>_'Cd'_fN±TO(