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 !!\3 dd ] Functional-Automata:threads=2elapsed=20.181cpu=27.388gc=1.244factor=1.367zXZִF! ]ŗXf1-/6vR[O CИRO!,<^6܁|kO/gMRg~ kj'(O:y\ |Pb2O+p^/sPeddW$TQ\{cuiLu?ϊi[' kOep,>~u}3 \  ~h4;m:i[|tɍ|4W7B)(UՖIǰhZThY 4Q[NIsTɼ(Br4SkDk榪,/>f"VQ]ښ-\nQDe#</=TM0Ņsڧ\Ÿ4%z@4;a@N-y '{~Ib" Pʲ\ QPY _d[>E%?\3鈖Rތ?Xs `͕\`]bف4gYZ7zXZִF! g1l]ŗXi%60nqݸ,ezzj]!1]Cd V+Dr'پ]z v5~SL~g 1 W;aMRhD{Bqn0Oo-Rq[-~5wQ +>/icww e8h?o Nwvಌ"AjPlsD$jA9,Pԋ4__ m$ٝ2\=rvͷ+ʪ8Xy! iJ܊*r0gVR) !Bp03G$ A |f ={?&aWHwqhv|mMun7̘PdB%,'aW+y;HxH ;>*!D W"\gvB^yX @8XZunht[-ҥ5'-YQ TU@ު:+_%Mc>Mj`c0סbpd OyYdzci}cfx ɔ{ e9NXiY9s>Y&CNedDnj}" zwv%իw*i*f#2q6,Rl_Ӟ"Y w8Jw!zjnjW_u%洺"%X"`fL o,(' 84&n!6աw%"wu6! [v;zNu3!25Ԕ*YuAT9#!`,A"lFǽ guHޡ店{n k:2~Uh1G PFCPD VεLR=M7 pj YϢ\^'vwҮ7M4Iw n:0Dǥ"RTVճm3B}FC?N0W k|0J]ƈjYejfQZC#B =/ 2;Tjd^B \7)k>t2R>$/"rT>#bW|YpXz) çƃ o`D8]{ϲ"\27?-#ïGـ牆9 D]YgBPOZ+N.g BLg##-پC<̴;3rݚ:h"&tF9kSx*YsB*5xs C iajvȌ% qw9q!"u2JôŽg{AF4@u]!](&sx=S߳X܌dcycQbD˩1BnBkv ~ſD{|!1`C԰ c7sgYZed4ba08c083d7cc6395bb50de1276dc6764ef298e3d3de0c105787f07c71be3f3e76dafbe7c86cef 26af89b7d57c7a15a989446f8ee1ff99d4928d87 37a5e7d87b1de36723bc2e935ab779ac8831a48d 3 Functional-Automata