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   [% td ]Regular-Sets:threads=2elapsed=43.553cpu=81.716gc=3.152factor=1.887zXZִF! ^q]ŗXf1-/6vR[O CИRO!,<^6QU5 >_hE+*_? (WGsUYU:< ٘h7;Ze'2hL{^bǿ:-j"d@\eKx$ѹ-@:}sA@u6EV7#ȅslP#1+lT6`[l#dؠO"L!cn =) OmtԔ>bB_S:NX;D5m`pP& ?7X{x`H^4Z/hש36Fy^WWmDT?/\9*>4,ZlaP+3o>KeAV<;8{|yK2i1bp.>Ʉ!ΣZ8M'̟W/P?@{Pq-J;Wi7fpquٳ}0kb;S!rkXNk4aϱ5zD#竡N+ۤ(OֺJNjF^RΖ 5X$B"̽A:  ?us ˣ0#'<&ܰA H ԥ6/,Cxlz90uKC\?䝩Yooܬ>u_\ Yfw u5 35N>eA_ex;"[)oUTw!v2_`YghoP~T8o\rX̻ +.-u@B՚@)L#d1]? Fr{DR+aAيM\$9A6=G謫:v6="1SסIo`~ /\ cRD`Gh<k.i*O_ ?Y][2WPp3ZWU,0TQa(mǸc/uC|IJڂ Mǀ1; po|L17˴V|ZDct pIvCQT q~uo#%B5H9\sNPEE|pz2i\Uc)jĔW$+]לkzp!ۜ=$Q}#_1TM&W4w6V6ճ{x0i4R=O@X zH (:Q%ѢuOv\{;jΑr)vgmK]'IS|ꆉWYS!GYC5<ĵã,w gf)_L/1LLGk&#}WLP8\>@ % Regular-SetsAixxXzRidW{TIiIXpF"X;` |J 8߾\wpLf%\ l$[, 1#h̓I TV%z'-xMn x4c=^H.1!I)0|9uaTg$B75J YɋX܁GB,-A:~9xYP JmD k"VS@Qͅ$k+b_[j'ۇ{SYzȆ3.p3áq%^.#r"߾siBzL{,k&do2=p{цY/_m{3yg8 ǥM(4gXeM>J|*NhnVC{{$kGoBïa]V&'׽ = G~CfQ!@9ƨI~*A( L˽qgYZ7zXZִF!  ]ŗXi%sR&KH}K=f}#*voECД؊ۅznzE'׍N=Tm3lAvAsI\xc DGI\SzFK߼A55?ϛcr_l-B!~{3oS8׳SKasMo[KԬ;ɳe~~ټ\#j;[ q (-CEsKA3oxzWbRs g~,]:e'|"WM\|=yᲹ7nrHl]~%5}OYQ↞)+l<pK#D *g_CNFAQ8!DA?7.n0Na2{n3`ї7mha.U# jH1 zfL^d Fj?S~F.08N.͓6vk7_YÇu ؕ+/gB5|tQ٣ q- pk O)E:'HtO"h/\ >*:=K|8 14F>+#dPxk:Mģ6 E .;(o34dI0MA~^cV];sEzf_ZpRTɑ-&_]Ԟ#sc> o/,~hƦyxhO @ ]&]6T(ISEeaS)C?`AtӡRѥ(hx]fTY0hv 1 3_&S24kT'#;R$bu29JTE?pO_Z;yR9N׏4嫣_TϙzuvȞD]pZw'gcVElUJ02}I!/]/ܫZ.8;y: £KSJh.R-tI}#kBo )8_q~SQ&9B"ꅺʡl`;+nt pڶI(6OF8V #Z žsuƙJW-歶Y 78c [ iH;Mu# 0JV 3/=duqk~(Lr{J} D>Y6Ia`Ja=ւJVi3'q|;}XmA-T )h\ITτU:^JdNH2Zi*Д$f<\N nn/}pqlxNk!o*|~4/^wZnSceSӹ}kVاWҧ]>kv9ԑ  o. h=r3eEM.BO!nb2*1NV1 ڜc sKl>4T79޾J"yɀhAhꌇka"x?E{AYO6i2qwǼkHŃ}p?iHb7eN`Nhdӓ' OOǠ('aF*$!n3 znlϛh(ZhI~ݼqk Lkakl [(WcX Bbf{3{s\0~I(OmIb ^mG-@Hj 0 ZxҞ[CdB~l̸cXK.vO؀^߲{OxՆ OX ʝZBT \Zٽ`Ժ_-ݣѕ%즷ƪ-qhex0^)WWTGmJ!UfݯL͎_= ٲoi쓫  vd;ZZq,RC3ydyy;\ޑ} #&̠ϤPĸҢ"O*$A aǪ0^k.o2h6]-ݘ4SEfrQՂԙbƒ-@gYZ06449ffa42e3ad9928207f59223e44cf25b2ee37 08b39a2bdb89b8319778d00fb4fcc7a3c6e99eed 30a1bc059e0e0e6e5c1deba4757bf160c8a590ba 381df363fb5af5931f68add2be63eda5ce000611 3d085b2f15013ab9cdd8983b82002e5b7e45d759 6b3f34b31437c70042e95bdd0a1d13e4c08cf201 7a22667c57f746b278085651b8428b2a3e2519ea 81de4762b4e143259c5d9fb6b097811906b676c1 851ad684207c6c6f68ee9f2b6b0683326d8eb4c2 90fc8715f2dcd7cb5d12051633b389153ad73166 978f4c9854098616b38bd0614a930e76821c454b ad8bcedf54dabbe9711293e7a3e27bcfa6b14d82 d3fb91c47fc3112ac31920e45c2b8b27c21094bf efc268ab2b9e37dea06f9f97a5a2ce0798e385059711977f48cd7397b3b03ce4fb09271962469dfd 76cc7bc16bacff3c41d173310297a26a15be33c9 0b0f6ffbe0f4770f3b2c25543ff441b61f7ff5677cad437dc432dc53dafb7c24e855f730cf29774b