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  `'lt< ]w]CAVA_Automata:threads=2elapsed=72.024cpu=100.268gc=5.668factor=1.397zXZִF! %]ŗXf1-/6vRZxY{"QhEA}ξY•dС x@ۥ1H !lQd qj3Em0+li.m2iȗ7EG?1Gmal6fưc@#A&8wGb jy\`Vfr3g0. nÀU I卅CsS#pVcMs+L"p6z96?FȵĽTmep&(QoJ10ckl[jxVb8(a߯GՙϤM[[f ӝo1˯w2KO}^V;Fj6r&*Oct|QxG[Bupfɳj 5gAcUkiXe(] yt!qSTSCtyn2tZQc&b< y`?9׌9pg%mTX9ɜmS+(9NEa\|&&sW[$\M5fma ^qL;.m-s]n F5l$ j ' CAVA_AutomataJx80\ "KߧgYZ7zXZִF! ]ŗXiɟ>P*%;֤er,L`&ṣZF# rbyd98"ہ-vZύY;;2t f;IQzb->e(;y/bͻP jr3j_E9aM[G;V 7|Rzp۪!'SdwJPxDžq0hS$ GQ}5ecnz;LR;g+Lm-gYZ7zXZִF! U ]ŗXi%6Sr=[qvN8! M_~$I5W'6Y'at~ǹ<}&ֱZ@) rKK 5l,NLWv훛G_sRʚ1. q^jV|` Eֈ座ݣ֡[Jm"rrCrgPKj2\v )c:` @7UQm%qKe]yޤr鿠UG-Ƀ|Թ ke8M%K|`%p@L{+ aUE֌o(4r*y{ڰz,iˏgU=_)0%SHNwbMiqٙ`MƮY"HS SQ(kr0l,/~ܳT"/T-M u4TS' ݵÖ %W&Ǽpv$P Jn$"?ٲJ+jA@gW"avʫZY;1 -B挡]~v+U  Xs1(ɉq!nl< %WJ=?)ZᚴǑ,cʜ\} n+F8,/9Vc0~pڦwUQՇ@ad>lfT G W|JEry[D#SP?˅@tF,X~ukrc #KDjWzZ  Ի/"qmbְ#,Qir&{9d.# @Q%pE}P53^sET}9[O AsqVpX-JN dذF8b Ѿ٧:P d"ͳ1dzW:h`%ԕ~k8ۅ]PqTrAb~g\"ӻ}& viֵ I\}w9v'A3:AgѦdZػ~ 8=ߴ-=lK"D[>·4u:9s%Y!D+y6Kn"ooW_UMn+m·bo\)6Nu|%#}:*36T7 -@ V=$RB}őw"1Wa݆=VsJKkk%["TGaݳ#,  bnm2ppT)0y& .4W\ڜܫ)U7`l)D2oq:ƀ#s%)l@`)T̼1QܦdXWB"ʶoPpcQI.S7R#}[^aid^3<0h᠀7vCnDr5`t?8 >l!"꒶vtXmLu&%lxTVa[PQS}Y2t7_#")긪"*Ft;&iO dT:[b6'PHks*k|v6.d4-r`) #N9sOmm 1>gYZ85fd5745d42fd14ad9b9fb4feff2441b701bb5b9e70ee0fd938a0febc474d8a614487240593c9abf 62b865a30afb162effeec3b132b2275d92775ddc b00b45bface8c46666322ce9522226a84ec0f994 92092b131460f121d014585d3e816916b430a7fc 1b52f4e2f382f09fae9aaf736ecc920c05c2e6b9 d797773aea76c4264253809a6e1f226caec8e09495e2bdedfaff8155aa2f28e25154ed9057f3b417