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 o+ D ]S]Quick_Sort_Cost:threads=2elapsed=22.464cpu=43.020gc=2.184factor=1.927zXZִF! _]ŗXf1-/6vRZ_rO⛞[\5((jgڙz*1HVs]}qj/F;|J< cbe7}VJ4P8 4?`JQ0=,nrid[iemC6^c8oJWSStk]$[筽*bfq RY3mx1qj%A C,+pӵqICt2UK};dx^A5VWoHB{soq72 >;m68].Tsw,[ EY YMgPT{xtJsrAܬ&Q8mxiWzkx5'|ql',/76C[jILe96Fxiڗ*Q7-y_wx=CE X&6d!Do|= [_?~*O1oy<5" I E2 f&x-XW2:@oʩZ誫]^7;Ar3W@T8Te\Fr 3 yq`])kŰ^~P+hEL*aEaF."o A= )؃kɪUr=!Ha#Kax#NqV%u0gYZ7zXZִF! W]ŗXiɟ1˦r!q=4!pƹ $7 ԧg"Ůށr7.Ϊc0 ޵ٺAg_I(^sWQT]W1h( 6d"4MX5N;Y*7[^~@w*sqF%rD ֈO[Rzˍ2voQ\-M:ǶD,ބ4( ʒhp]6f<u۪S&f/GOJhg"s@z ?7B.1,Vw.(dPh ;a0EI@lJjLΎBf-W:Շ=N|ȲRSb7 @@X^%  [-v{i2T†$(1q%̘lB0OsΛfn&e$ .dS^c{ EG1ﲢ v4r7=qHuDw_? K\ugpP#ly|| ]+=byF8]l:&>Чd }'*x"oą=_O,5TI9oz#cś3e=&n C4-i1}fd?0;'\C =-Wސ'L KvzE;Luoq쯜:W>rKYLXi.7pYA"zmdu '4 Mn?0qB;A-@'#i^Gď"38x2m30Ո"ryNJ";4pghi ;Nކ8beb`^|yDPF_\Jk F;RtrLqq=ƫ{a,Q5ߔq\q)gqeW >ӊ?g ԫ2ZCHa r !&E|*իhV}^\; ݃Hj/Ю.`~l򣕕1 ,M;⤄Μ[aˢSDZ'n{`B·Yi'Z\R3F2[/F8?۹w!X̸xE$`aU _GMAOh PǠMr5l}*, Kf)eURN|+IɄyyf.m*]D΄:25 ۑ8ezVjy񎉢zpC=qZ3DȔ22ӷ3u`zͬܺɣ*C%usSWv/hT'U,Ep?"ki :"詓~2|+y˰7uG#k-a]\1jn*+ӈ?8y`p+N(٪l7 )  - gYZ42b92fe0250cd937792a4b16ef51103b3ac06e7bd6ac031d3e88d65563eac5f02a097b7a1de9a7e3 ffd3c2f455ccf76046f1a522696b8fe123ec936e 8cc0070a0161e4d7d5fb0c0f4a0310bd415747f2 c06e340e9a5837869c8676b73367de6bba18713448cf217fd41cbe1993501ac62f3ce0cf13d01be9 + Quick_Sort_Cost