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  ; ;:% dT 5 Derangements:threads=2elapsed=60.091cpu=99.972gc=4.560factor=1.667zXZִF! k]ŗXf1-q恈ŕ׬[p){tE7SS]%Ŝu+G˿fZfm 9D똓ї,R"wL Kl!P.Ws`Z/ ^s'V&w8{L jl<-`{_-'<̓ V]kHrVDҌ !^!9yVA[XN$[J̅j!&3;0'zvrg/NzIcy_ zN8wݞn ?mIazBH%Mj_WT(VK[hNAQ:vB+C 8 -jL\N獚_C,Jfӊr-nKII M 1Q@@چ(e/:uY!zɥk 3/k2BD65p>D"`0_K7I*Kuyx/U4k{`c8X*}8 Ì(T)&ִ[GaYB>.zWbiZNHsF׈?6ܷ/>b!5{AVG"1*R;kQOiO~6N #X^ȲWa XlD؆CTШaZi#֢TUld@me#0zvَM6LY}ZfxAbe 6Ksbv#PKJDQcN % Derangements~8g7k ?BcF!WPr l/ $? WkgYZ7zXZִF!  ]ŗXi%64} ʞa7/=QB[$q D{&ă'街>PEh/5GGkm|WNkĮ d-!wUz}{MVض3L FkO+U堒txjZReªT.+t@tN]J9D c\Ed!ZP #/RPx{g"'K sMnfuNNSzB]rH{d~Wt{N)U2soDŽQʾNnh?oUGl7)d}CD|4l |#NVHjiښݐM&!vYF6jm&gHfsyG-Jܹ(_&zXݩO(c-:8lKp!Q+NxXabW鐾 nь{B1¢5t!%Jk}'1*PaP![BOC"~:bmNJ"`?r>a&U$bA/sG81ȭ+*bߦ3hStd;|6247[wA1cѰ̿"EY*>6+&=2fط}ìsWPo:,&xo' o&9 Goz4,amX_OBLtu> NhDI7@s S"zWKc[V !gX"ȳƑ\ف~h I@߃f'Ӫ:м } V%"X 8 ɧ͠CDkY/a%ՃP">Yp  ͍qQ:fգ:[:1`8+Jm"~3PY85#IF6b7}L9|ʾ5]c޳]'7^/&+ =?cbjVh'OzV$ۜxt7Y bJZK%XpZk'>Wa1vO∉:wLR˘kiH;m!01ҳߵ ٧NJ"S~.f-l@U١OC ƒe/%HWp~v?~GXUKVOד.$nZmnm,n4bx?MvѺP&%.݅32TI+i+,;YkQe>qO,XAxR"%:r9&Czka71rB>*IY(~G[ɜ_69&1/w}WQ{ j-7ބ+B+=n+L$"T&o?@ɽv$0!xEp H'18))ς"Ջb+5luhBm<|ˑL-ПjQq9v&nfzVѨoи3W-Z\D?llxş%rB>D 4I5UR5d!yyɺm|ᤀ eS[xˀo‚vM!^A3"6ţ]K#G`YVkӼ?Y1 x}q߭p -MB-̫ #ſ3}9}LöI?3")  -*g]i(X@ϴ4ˏ90dewQ Yo0e$3OTn 4d f s-Z*6S=