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 ||7 d| ]/ Transitive-Closure-II:threads=2elapsed=14.210cpu=22.600gc=1.212factor=1.597zXZִF! ]ŗXf1-q恈͐7ӺV 0t ŠdrviJ#UHlyzFrZ9.]&;Fb]" 8d9μr9ZY: VWV{K/?j=sJn:U )#&)lRLf;n,Y4( & mnSC]F<(` Z XJ/EbBo dRLdrc(:3,Y.~CٿhN6vi+odafD:W+ʓr@oޑ+\%|Sy>B5w}il&ݥ(Ż$"$ԇ]NGBXrY<|'Ҍ':exy_*_{s0PrEGa6J]s;gYZ7zXZִF! Hv]ŗXi%6qfMOkDc- #4Y%{r1.I>w޴ _IXd>.vF-wڥQłuI26axǀ}@-I &al,wcikn4W<-8{6!EU8阗 =6>=6^_opǯtzC^XFhYQ&"͊Mg#Wx18Z.x`FC^8S)GI0"XZJcb-np),3ҿG׏:i5}Odĸ {.b5ϛy..NP6+(TnpAP2=iŸY)aZ<;kOnzI4t\xWmͧ ߄\&]ka(5R\t_RH) ] l㨳I:&{K ̺BEI89ScO2 wh`fa&K3yi 1{OC%7Vd$f]G~jrImjg0+feiVV&q2+8_W ʩ*/D<>R*q%th z ܪqFJL8Nݔ$N4ƶ!maS{KbDq=ކOIy ;S)Q*yoP]dTV~Wll]%臿_Q-rF,XCsG{fsg!r& X) Hj SGc+$ΐB],N~AJ8E}@?#>9@w,{(nKgY}CBnG&}/YypN5:n[s?{,@*ڱ3B;ܡq본^g$.p {t6j\T*Q\>)t}|\KkZ@0k+{%_3]]O+1Fv=`PB}g`2;Ϩ|٢APjwp:Di&5MH5[D!+  t&gYZ1917e2407d06584beb6b8113273414a83a8a33051e0d760b8dcc7a202ccf9e071ca177b2d6e00047 82ffab2c85e2c69d04d032ee5f468652fc7921e8 7 Transitive-Closure-II