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 ' dT, ] HOL-Cardinals:threads=6elapsed=6.350cpu=33.500gc=1.168factor=5.287zXZִF! ]ŗXf1-q恈<-¡$johkX2I)']8PIz6h7ӛʵJd 풸?Qd^n05i iqVk{a+ mËA+n@爿XX/C:br^UKr P4iT{)%Yن0^bW26/ˬ#nH3dz$51|*h*>"rDx\j+鸿q>` OU5ϱ;ܪGKWա`%z㮚l- KK_Tt’k)g>~sVԞFT_(x-ƌ@#1uΦ~26XOy,.i:M/uXF8xcI vHxl o}Δ%։CY 4+kƱgYZ7zXZִF! ;"]ŗXiɟ1?ߟt;9BP2CZz眭5 z c7=uF %CI fnXG+׻iE:(-v*-jˌ=Qd# >o$!X!cOc8#hhq!jM~} *>/Ckٱv{9]=ADu~S S~a9P^1OK;E<4z7g^ː;Z &c#@ ZbsMrL8;ganphp:wJ;`"UgYZ7zXZִF! O]ŗXi%9*_?i|a2-dC^i- 8ݡ"֨V{<ԉņRJߥM(c bYx~$QRMZT$1ქ3?3AHT$n^UT {KB~⧺lTRD*V%ڗMYKO_e2=G5:R}QG8x41hp7/C WwY550ĠDrW3+ %`CuӇ9y w0kh\6"!"o4{I((;mJTRk!Ɂ]~,Z)eU$/,0<6 `Rx[F W GKQ5dmGt4^$y@ץn݅`9s˨'"}As!IIKYxM{ " ˇ^bK} VI78}BNQD-4-K ormi܈=\ ?h^/H) "R^O#:DM풍!H1K#VaN"w4yxS)L>揬Tz ffΡA {`+gċ;qF=3Q~)s0TUL!sHE?Y