SQLite format 3@  - llB77#tableisabelle_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, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info %%< t|  IOA:threads=6elapsed=8.214cpu=33.252gc=0.968factor=4.057zXZִF! 3]ŗXf1-qN50^ ʕmy\5)NzPNzMr,HB1ybZRsER)5ͮ  IOAh lhs^;MV:7h\=۵-NAb0m59M$Ԏ1rdQhx~Q JdE-DzqxJi+n㌢+~;MOXw#Pe]?İ?{ƂmrwQ"= czS38"Eʐz{"gޒ O%=8}=XKmm2AE TѰwm>o˵#Pᜩ}=i`.a-M7Td Jqj%ZcI*@ /gyP߷E-sVq c qX3 W#<}d, FjFNG ~lXVy4~ -E 4 Rwrh 'X=1J~oGL.!ʅ\VZ [NS!Eb™5LլpM#̀]agH傶Ҍw!H%O$Q YAc*:3KFeoq%!ٮk 'CcIAe)~Вn<9{cdA?1SM!r.<»_zi?QʙxfP-Rl A0ҧZiF{t6XwX|@W4t"vĨϪPzk_1vnJ6iHbD6irE1n'o|ctO*L,z ]OXeLd)_DMt$ eS`sݣ4M~^kQ:zڝ{q@wREc$Ff45K n Q=&3Jì(Лz"޻#q6ԯm[hzT8GOEΓ?$ͼ%"=rV.Uzl>a[fnO֑q`jI@ej`p=hG{`ҏ  60} N%- ֲTx{"qRU5ᴁqRl|D~ +!6.pH|èKŦs&b։ w%wg٠9=,ɭ$YGccA޻lm//.v vL 5 'O9 A^ΔQmࠩи99a ~\],RǪ~`hR~aA#;Y5|Zp Wt0#Ȇ?EO =[=D yQǜ/&庵Ur2`b $䦣-) [L{e`142sQ: Eu oaMd̡cSg3CXJ8 S1hf _KM@EJhҞe WF}|;)M[3zZuV R1⹮20ӆr c^V7lLFKURYY'Z~j&xm=Cz%_0o"kGDa$Дgy \1󲆒E2#w?T&8 .*@3dE.zL.)v֗GLjw) 3ZS<9k D X{'^H)QP u8VyTJdtY =qyZ\61.)+{`됟 ~QV"E%q>|x}GxK(M=JHnS\ .{)qN7s/C (:ԝ5®hxϙ\Km_T*Uqma`vpApL֝ͻOS#q,#Fb2fD- X[C8!]6#s6#h" h O/8:ٮ~9}6^iFYk1ӠHSgW2BW~_ lEċ E':E?=hu5'e UvoZŽ).V؂G # Ə,?ΦAU$ a"~$nd<^x&/8:MF0[1m@hi&ECt/0PYw@Y8Úh%f#3R<͘{*$õcZ*[9r ie]nPͽC`.HH=\h Gz1-_ UBC-TeưO)[*㕋raFXl^Q"y%3Z5cQD;ES,2e6&HӉXpԊ^S߼S1AU;*FJ$@XyYnɜ1D~tKN\.Ox;Tg yrHBdoD#eJB&߱,"5/Ƃ #aדIu/%89}H9ds#vn2r|[ٶ/˹}a>Ru`ғ?oMC=m+T˂z0w{bs(e;5]rTfn]wG(pD>T;V"9a̯{:f&e* Pܔvh8V̹Kyٯ4/P,Y67]vvx>gYQ1QDjMfNssY*sbCte{pc?4,3qzp:'zO]\yuWI;a6{`QK"ArjrnMi0'lA x?~sT;"qj=h ؀ 0f9.#HɄ/Q=ZDfHl<;k֒sd57`bi(+RtQPۙ܍#]doB;ajVe=[ejQ(Y`K[\Ȫg6 T'as򕱮4: tlsEm΅ s_ brYBlXMJEB 0;&Oartt\-?Ʃœ04n4OWeD%g #ǎ$XYds{`p t {sd!Jyt0铁۔2tD6RWP}Rk- fz=ڲuV~ҭfJ,vP?gqS4o*JWh# k\Eq'9c~冦 a>uJ~Н3D1l#Oijg3%LV4 fecVeB{z 乒=gY Z7zXZִF! ']ŗXi%:3%+nߞV6* '|܁=X@[g$,}u SR G7lIVfϛt,L()N!x ቛR">؁::wIJrL4ϏRɄ+t/uHḰic$ǭhh(EAVd޺Wjd{E; MdDvv|]h ӲW񻊝#~݉DF<nUֳh׵>u 5Ylɜ+-pbݿ3glÌw sS~.la`h>2Nm5%g(ZѭJ![v?"` c8/!pV;RZbpN-sC}m j,T(O6eȰ2& iW"2YUKKN`wXV!u&`@a$(0l'<'jA737ymNBJfyndV˖/{R7e.4Nβsȉ:UeI{)2﬇~&ꃕ,I4Ȃ;!*,l_ߛĆp)Vgz: O_gYZ20f478d72a5bcb1fbad9de015615c5c26cbf5f94 220550e733823529c859a6a258e64aa20d62a163 563ba3c0acd73ab3fbd40e39216160d0de8a8a75 7319036ec9b14b681515115059d654c3aaf9b7b7 75423031ef2f690680f016e5066f58335d37a5c8 7cc3e9930e0450f02ff1c420bede3aeb39c372d3 8bd44a73de257dfca1cdfc03ee6fbcff0eb91e24 938d0c484a80e421fb6ae5697e1098725b52e199 9b9a12329672a350731a10b6f071f7d38b0073a2 a11c3093f2f6b7ebe412ec3025bc06061bed7756 a6820028dd578f148c81ff1a1c2b3d8cb4cfc7d1 aa84ecbe31330d8b1d01a40e056125bbbcd123ca adcb01cb026b6f0c3457f2e50bf96234665031f2 aea9862702ac98e9c127ede42162c57c860bae24 c20e06befed5c804ee26a4c681e4a1fff2fa0960 d06178e782321ded7086c9efeac9cc640997a31d dbba1085e152254111b4f937e379bb956462d610 e3b9e4172c88c8882914e3d4e240442631ad67b6 e6ff1fc226568d2b6cfc085f8139293b3291d2ad f49102a3c25e481f4b313086bde8d4c358c3c9c7 f520112865fc85959231a187297106816b2e1bcd f981f7a958c30c1d47ac6857ae9e3f01f9a181123304c3bdba2eafbcbead0ba4914896db182d08fe a90ec650e12109cd1c67b4e101c18155d18b7861 9a23016eebb1dbc41792a5184700c5363b9ad949