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  b- Tl ] Perron_Frobenius:threads=2elapsed=47.128cpu=84.192gc=3.200factor=1.797zXZִF! #]ŗXf1-/6vR[2?h|MiCBp6ƽ7$e< 3 r`{EV =};Oʿm)a/.~7V4j骻!^[~Z*UȡZg2͔ZZ[zBe'-MXGK^›G4ܔ$q3xu瑂߹SKFxX=㯮@]£b!ux>],BA00%@,4Z{YY W|;ͷ qj~'!t0RS|)2'h[0OЌPeda` !Nf\60_riSWGR_NB#Z33vP!RVT|ukKޘ1I޲71("R~FU^v:+;$xI"wwR"gYZ7zXZִF! _ ]ŗXi%;: (-=浮U m @oeS.pf~MhaJC,y&:,# J0m#[] f C y} Jx}0Q_ē/O|[֠M:M|bE%rG]jf=vC@E9TFɷ/r^|Dfՙb ڔ!s(2$tBkN(Qǰզg%2`/ʠ:[2<,(CJnO6Јw{@@_Pr䠃KA*eJpy 5<0xP:[]>P Rm%#2f{={du\T@(#KdNqQD=B3P7 `(;ɞ"HM we _cۑCJ{*!u :gǢz}J.JW dޟB\[J[5:d/P(,ȣhnG8|rHi@ uЯ%9o B >-o3R~$Mu{Lk%E\1ۜ'0a9n@*yQQWбBͬzi2g7u;tN67c̈&Vg W&1h2 )=Vبm04xS?İ ~9RgB6iH݅ fى=隭("DŃX Ayz|;7댟"46Ǐ?2PeǠ\WK7dWb\잒yorάc*%,R7g+Mv0Ogؐvm~jէت|1,\TX]qR6'k p8u)}aw[pY+f$w8RN65&AZ"&E)Y-X~Z\|U:fnagBRF:M/) Mzmx ȒW^'nfo>M N2b+vM߱\WW#4'mL<W**tIUm&;`1fAyp>+@KG}5U5#EB~>q`1_ ŸP"D=ݖY|?.gq+К@ C""?>%i1KIWC.vs6Yf7r>#_=&c!|^>OUB5#֜Fikl1*հz]'R i} c:j9$T@(2 .݌AGyShHnxVNsRU?<^RX]JdPr6I66xp^ƕ 70\ GxXzc(esq TчYhŬCBAgyp_"~A|ϛsۙMtxAYR"̧&WrlN5fosg Gv XgyUʝIZWװ*