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  3# , S]KAT_and_DRA:threads=2elapsed=41.065cpu=78.036gc=2.872factor=1.907zXZִF! 6J]ŗXf1-/6vRZGq3۸,+|]-ۢ! 94Td# g$t#W!ani|wcekk |,a?4i#,lA/3~[ߘR(7Y5!ϼܹd, 9 {/[*RD&Y!]Ho6D5|][vtZa[J&eiF%$(8j餓(ZKDV9fk'ƒuvNZFaŪ qNuh>g;ؕSP7D'Sl_СQ{߱}*~!EŌr # KAT_and_DRA\'En#>TV/o0?dz%0bXa@8jrm}Ԕ:|WUG~DP1Nna2ul[Mͱ|UC^jLL) (#ϔ(H%U FC5/nx3̙9i/\=gטA]>wC٥>v(~0/S⼛WD7D/T : ,g>P-9j̱s?@7j+Zo^ÒR)L>1|.ʢ֌ ȻN G7TJ'GEM%bAẄ́iKY4XZ]cc0d#Jz lCϣ l18KgYZ7zXZִF! ]ŗXi%u>_o?CxV:@.|zBЧeÒ XY@~Τ3'TDw:l뇠xaoѝN6RdzZQri<=/"ɺ>/WGo}0reY}?cN 2ܼ)IjGǪ5RKi+bPoCl B\a::nD'koa9yNVSupc$֏YbAE5̙<&eMœ/; M)hJ33LDnT4-PFzΤyT$uN5jc[ٳ]YtB5oHM@ 9bV'Ma+}KOl6U RXDƩg¥` dig-(Eu:%Q(_F K0eh33;!5h f!gUO%l2,~oGf JW܉_h3uPnE=7-INEcZoLA~{8.hܪX >qWoHhtFMV$[Czp<cs4siD͘y($,œ=oQUqނ۝ɚ:(H7[T@gMb@^ط';\ -F,`X9OHD-x8[uuR8ö6ϼђvs ѝ>V>/ԅlAӚsr*9 hjg\H3ܧeښ,Q%ndE+ =9;47c k讳$\|gW?2_if1m4n) ՅnJ ?{+G")J6tic1>S͒0{q He'> UK6rZ,8Ď~  |z]\']LxKu k_qP;ߚgMb/n&I%Ka:ŲqSAz Xftk˄ %}=Mum4ՂV҇?,(H`^ENNMpCAy0tlIHfНhbM81a 6C`XvpGEQswSd|I \mV#kM^CkY03_kmdLv-?g)8b>~yKQS0K GtITFZxT0a~)Slf_` ,8tA+p Zq1>! hj-Tų6VyܼHALv^DR]Ոr]ɜoVZfCK >=(Nj}оFkÞ($Ɇ1AYMmҁaϕ[Js$M΂IW䨺`%][M,,p?4 &˪%$#wQvZn+Cui3Hɸv]^8,,_0WK62)PT a. osd+ N뱏'gK|kdou'8˵yFv^>+y,gO_㦊 PQs^-%TbA4`"p}l'k8$VxLH3FK5"-p Mha>Bfq>c#Lkoʊr͇ـy 060k$!F3zz)mMu='xע)c"ۍB