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 VV'/ lD ]/ Dict_Construction:threads=2elapsed=43.133cpu=57.368gc=4.116factor=1.337zXZִF! ~]ŗXf1-/6vRZ*_vs(}L)WhuQeAO>YAo= 6 #_С`27. I OO=C 0\L9QtrlObeA b NU} cg =uv_٢S,:"Ϝ~h2rU!0i .4d,vx++;gnA?* hfڨʢuke=2o!'94AB ET5n;S-Ny؜ 1 +{v*^OU5/ݨG8i^Ґy09=bX?/I COuJc'W&fT[߀{yLToNY=DP~ZhC;ܝi}f!9Qfǔn4oǨW-qȚ Ғy4{]Ld[.YsaDj1aw78rWPRINNemTZn#`E0lXmcdܲtuLYN=lI%@`gYZ7zXZִF! so]ŗXiɟ*#; )zhWfLpDl VqlږY鯲^ܴ"E//!uGk.f' |#58sG,]E!fx87`\Ӑ?Ĕ\6o}l79Q}0YM]'ڂ䩸iCgZa7,(0\CC0"qzY-%^+TX]z֙ A"v~Hy(Y7.d}?m"w~hHxU. ^ -U"[ >1fZ1 x;  wyX'T}v@m/j̚, E4iy>BnAәP3Bn \T8Մ8N2Xwl* +"ՎcjjʰTpN=:U LO~ r,7bnGI[)݊\j;W[QepsOԔs x x-8qYd"kGcCo;aHe-G=f?ݼpJɇI &y^?!`g/-F-;/٣xNEط颠AYmXƲ(X uz~TGZ}쉳Ե%Og*Y%.U+`[lvy1>S΂6@5MV a[' K?g4>XGO!Wx3 !~_J)טqݓLn$80,Z:jp5 LΚg2,Ik=LEܶY3Pbh@lVT$兕W \Bg_wafrH x{OzObbX5 6N:v:^wi0h\썑PAz "& @q#ĥ9^ZIpnvkJ_'"`K0~ #wt'񖀶Tޏ4zZJFIWۣ(5|LZ2Gm7sVH &'JEצۭ JؔʿiQ;ڀ]6'fI[0m8=xO6;״lë C##,GIguHP%|:>L5TA>/YR1ZP}%=,Vܫ4 zM^2Z~ x"\72"(fJfWˋ%[6i֪ KXٔH6/ 9Fn=v թF6TqHpgVp~Uu ")Q(+yoLho\TzL/< ,)K2;`&8z>wN XY2QI{-vX8]xIIEN˝zJiq351Ӓ#;3t^`9 /'ֳ(Gg$bȲ?ƍjɚ٪bcgηM]U lbO{q>pwN0rXp 38M(BKJ*A`x'&/43Xhx N'*`k{ȍnEgis^;KG 0g8#}TWFl)C"r%"uꊒm9xrZUv-(]ͬYXuW0 89_h4qfK}Β̅~͑ z5Ux r%س@ R.7؏-? Njɳ۬Bf\$os۬yt-t0h}Nډ fey._%c8"D8|qzmJ9,iNv:i)V6G lG BG[ L=*˞mvIMbw.vW6râ [gYZ102852edb4781bae8cf7e2dbe51bfed25ec0c8f9d6ac031d3e88d65563eac5f02a097b7a1de9a7e3 ffd3c2f455ccf76046f1a522696b8fe123ec936e / Dict_Construction